| #
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
| #
ab4a4cbb |
|
03-Feb-2015 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
remove executable bit from text files in examples/
|
| #
845531b5 |
|
14-Sep-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove trailing whitespace in source files.
|
| #
cf4f036d |
|
24-Aug-2010 |
James Reynolds <jr291@cam.ac.uk> |
Repaired two broken proofs on expk and change the types to remove unneccessary mutual definitions that were causing problems
|
| #
5401ace0 |
|
30-Jun-2010 |
Konrad Slind <konrad.slind@gmail.com> |
Replaced %% by ' --which gets word-specific proofs
to work again.
|
| #
5c2099a1 |
|
07-Oct-2009 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
Minor fix.
|
| #
4761143b |
|
10-Aug-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Removed trailing whitespace from all .sml and .sig files.
This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!
|
| #
78ceb26b |
|
30-Mar-2009 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
Patching broken proofs. The proofs were broken due changes to
stringTheory and parsing of $-. Is there a reason for why the parser
does not maintain backwards compatibility for unary minus?
I was unable to fix some of the proofs, for example in:
basic_defaxiomsScript.sml
|
| #
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.
|