Thu, 08 Jul 2010 17:23:05 +0200 | haftmann | dropped ancient in-place compilation of SML; more tests | file | diff | annotate |
Tue, 06 Jul 2010 09:21:15 +0200 | haftmann | refactored reference operations | file | diff | annotate |
Mon, 05 Jul 2010 14:34:28 +0200 | haftmann | simplified representation of monad type | file | diff | annotate |
Thu, 08 Apr 2010 08:17:27 +0200 | bulwahn | added imperative SAT checker; improved headers of example files; adopted IsaMakefile | file | diff | annotate |
Mon, 01 Mar 2010 21:41:35 +0100 | wenzelm | eliminated hard tabs; | file | diff | annotate |
Mon, 08 Feb 2010 14:12:50 +0100 | haftmann | avoid upto in generated code (is infix operator in library.ML) | file | diff | annotate |
Thu, 10 Dec 2009 11:58:26 +0100 | bulwahn | added Imperative_HOL examples; added tail-recursive combinator for monadic heap functions; adopted code generation of references; added lemmas | file | diff | annotate |