| Mon, 22 Sep 2008 15:26:07 +0200 |
wenzelm |
type thm: fully internal derivation, no longer exported;
|
file |
diff |
annotate
|
| Thu, 18 Sep 2008 19:39:44 +0200 |
wenzelm |
simplified oracle interface;
|
file |
diff |
annotate
|
| Sat, 09 Aug 2008 22:43:46 +0200 |
wenzelm |
unified Args.T with OuterLex.token, renamed some operations;
|
file |
diff |
annotate
|
| Wed, 23 Jan 2008 22:57:07 +0100 |
wenzelm |
recovered #der example without using val it;
|
file |
diff |
annotate
|
| Tue, 22 Jan 2008 11:37:28 +0100 |
haftmann |
avoid 'it' in ML expressions
|
file |
diff |
annotate
|
| Thu, 31 May 2007 14:24:27 +0200 |
wenzelm |
tuned oracle setup;
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 17:51:07 +0100 |
webertj |
tracing instead of warning
|
file |
diff |
annotate
|
| Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
file |
diff |
annotate
|
| Thu, 14 Jul 2005 19:28:14 +0200 |
wenzelm |
new type-safe interface;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Tue, 24 May 2005 11:19:50 +0200 |
paulson |
oracle example converted to Isar
|
file |
diff |
annotate
|
| Thu, 09 Oct 1997 14:59:36 +0200 |
wenzelm |
removed declIffOracle;
|
file |
diff |
annotate
|
| Tue, 05 Mar 1996 11:38:41 +0100 |
paulson |
Example of declaring oracles
|
file |
diff |
annotate
|