Sat, 06 Oct 2007 16:50:04 +0200 |
simplified interfaces for outer syntax;
|
file | diff | annotate |
Tue, 25 Sep 2007 17:06:14 +0200 |
proper Sign operations instead of Theory aliases;
|
file | diff | annotate |
Tue, 25 Sep 2007 13:28:37 +0200 |
Syntax.parse/check/read;
|
file | diff | annotate |
Sat, 15 Sep 2007 19:25:19 +0200 |
removed redundant OuterLex.make_lexicon;
|
file | diff | annotate |
Mon, 09 Jul 2007 23:12:44 +0200 |
adapted OuterLex/T.source;
|
file | diff | annotate |
Sat, 14 Apr 2007 17:35:52 +0200 |
cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
|
file | diff | annotate |
Wed, 04 Apr 2007 00:11:03 +0200 |
removed obsolete sign_of/sign_of_thm;
|
file | diff | annotate |
Wed, 15 Feb 2006 23:57:06 +0100 |
fixed bugs, added caching
|
file | diff | annotate |
Mon, 26 Sep 2005 02:27:14 +0200 |
fixed disambiguation problem
|
file | diff | annotate |
Tue, 13 Sep 2005 22:21:06 +0200 |
global quick_and_dirty;
|
file | diff | annotate |
Tue, 16 Aug 2005 13:42:26 +0200 |
OuterKeyword;
|
file | diff | annotate |
Thu, 03 Mar 2005 12:43:01 +0100 |
Move towards standard functions.
|
file | diff | annotate |
Sun, 13 Feb 2005 17:15:14 +0100 |
Deleted Library.option type.
|
file | diff | annotate |
Mon, 19 Apr 2004 10:57:26 +0200 |
Forgot a couple of checks for the quick_and_dirty flag the other day.
|
file | diff | annotate |
Sat, 17 Apr 2004 23:53:35 +0200 |
Minor cleanup of headers and some speedup of the HOL4 import.
|
file | diff | annotate |
Sun, 04 Apr 2004 15:34:14 +0200 |
Added a number of explicit type casts and delayed evaluations (all seemingly
|
file | diff | annotate |
Fri, 02 Apr 2004 17:37:45 +0200 |
Added HOL proof importer.
|
file | diff | annotate |