Thu, 03 Aug 2006 15:14:05 +0200 |
obua |
fixed generator
|
file |
diff |
annotate
|
Tue, 01 Aug 2006 13:51:16 +0200 |
obua |
removed skip
|
file |
diff |
annotate
|
Fri, 10 Mar 2006 15:33:48 +0100 |
haftmann |
renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
|
file |
diff |
annotate
|
Tue, 07 Mar 2006 16:03:31 +0100 |
obua |
Added HOL-ZF to Isabelle.
|
file |
diff |
annotate
|
Wed, 15 Feb 2006 23:57:06 +0100 |
obua |
fixed bugs, added caching
|
file |
diff |
annotate
|
Mon, 26 Sep 2005 02:27:14 +0200 |
obua |
fixed disambiguation problem
|
file |
diff |
annotate
|
Mon, 19 Sep 2005 22:35:39 +0200 |
obua |
maybe the last bug fix (sigh)?
|
file |
diff |
annotate
|
Sat, 17 Sep 2005 11:49:29 +0200 |
obua |
1) mapped .. and == constants
|
file |
diff |
annotate
|
Fri, 16 Sep 2005 21:02:15 +0200 |
obua |
fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions
|
file |
diff |
annotate
|
Mon, 12 Sep 2005 15:52:00 +0200 |
obua |
Added HOLLight support to importer.
|
file |
diff |
annotate
|