| Mon, 24 Feb 2020 20:57:29 +0100 | wenzelm | more position information for oracles (e.g. "skip_proof" for 'sorry'), requires Proofterm.proofs := 1; | file | diff | annotate |
| Tue, 09 Apr 2013 21:14:00 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 12 Jan 2013 14:47:17 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 07 Mar 2012 19:38:36 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 07 Mar 2012 19:32:52 +0100 | wenzelm | simplified signature (NB: interpretation of properties is mainly done via XML.Encode/Decode); | file | diff | annotate |
| Tue, 12 Jul 2011 19:36:46 +0200 | wenzelm | more uniform Properties in ML and Scala; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Thu, 28 Aug 2008 00:33:08 +0200 | wenzelm | added get_int; | file | diff | annotate |
| Wed, 27 Aug 2008 11:49:50 +0200 | wenzelm | Property lists. | file | diff | annotate |