| Sat, 01 Apr 2023 21:25:24 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2023 14:59:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 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
|