| #
ab4a4cbb |
|
03-Feb-2015 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
remove executable bit from text files in examples/
|
| #
938852ac |
|
10-Sep-2008 |
James Reynolds <jr291@cam.ac.uk> |
Final raft of compatlibility changes.
|
| #
f733426a |
|
09-Sep-2008 |
James Reynolds <jr291@cam.ac.uk> |
More modifications to accomodate PolyML
|
| #
235ce263 |
|
08-Sep-2008 |
James Reynolds <jr291@cam.ac.uk> |
Complete rework of the function encoding for ACL2. Usage of the encoding is
contained in acl2encodeLib.sig.
|