Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/concurrent-programs/bakery

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                17-Dec-2007 10:00  2.3K  
 Readme.lsp              17-Dec-2007 10:00  4.9K  
 apply-total-order.lisp  17-Dec-2007 10:00  2.7K  
 certify.lsp             17-Dec-2007 10:00  1.8K  
 fairenv.lisp            17-Dec-2007 10:00  4.5K  
 final-theorems.lisp     17-Dec-2007 10:00  3.7K  
 initial-state.lisp      17-Dec-2007 10:00  1.0K  
 inv-persists.lisp       17-Dec-2007 10:00   50K  
 inv-sufficient.lisp     17-Dec-2007 10:00  2.2K  
 labels.lisp             17-Dec-2007 10:00  796   
 lexicographic-pos.lisp  17-Dec-2007 10:00  4.2K  
 lexicographic.lisp      17-Dec-2007 10:00  967   
 measures.lisp           17-Dec-2007 10:00  5.4K  
 pos-temp.lisp           17-Dec-2007 10:00  3.2K  
 programs.lisp           17-Dec-2007 10:00  6.4K  
 properties-of-sets.lisp 17-Dec-2007 10:00  3.7K  
 properties.lisp         17-Dec-2007 10:00   12K  
 records.lisp            17-Dec-2007 10:00  7.1K  
 stutter1-match.lisp     17-Dec-2007 10:00  3.3K  
 stutter2.lisp           17-Dec-2007 10:00   26K  
 variables.lisp          17-Dec-2007 10:00  884