Index of /users/moore/acl2/v3-5/distrib/acl2-sources/books/workshops/2009

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] cowles-gamboa-triang..> 01-May-2009 11:10    -   
[DIR] fraij-roach/            01-May-2009 11:10    -   
[DIR] gamboa-cowles-inverses/ 01-May-2009 11:10    -   
[DIR] greve-quantifiers/      01-May-2009 11:10    -   
[DIR] greve-termination/      01-May-2009 11:10    -   
[DIR] hardin/                 01-May-2009 11:10    -   
[DIR] kaufmann-kornerup-re..> 01-May-2009 11:10    -   
[DIR] liu/                    01-May-2009 11:10    -   
[DIR] moore/                  01-May-2009 11:10    -   
[DIR] pierre-clavel-leveugle/ 01-May-2009 11:10    -   
[DIR] rager/                  01-May-2009 11:10    -   
[DIR] sumners/                01-May-2009 11:10    -   
[DIR] vandenbroek-schmaltz/   01-May-2009 11:10    -   
[DIR] verbeek-schmaltz/       01-May-2009 11:10    -   
[TXT] Makefile                23-Apr-2009 15:13  2.7K