Tue, 14 Mar 2006 22:06:31 +0100 |
wenzelm |
string_of_mixfix;
|
file |
diff |
annotate
|
Thu, 16 Feb 2006 14:59:57 +0100 |
obua |
cache improvements
|
file |
diff |
annotate
|
Thu, 16 Feb 2006 04:17:19 +0100 |
obua |
variable counter is now also cached
|
file |
diff |
annotate
|
Thu, 16 Feb 2006 03:23:57 +0100 |
obua |
adapted to kernel changes
|
file |
diff |
annotate
|
Wed, 15 Feb 2006 23:57:06 +0100 |
obua |
fixed bugs, added caching
|
file |
diff |
annotate
|
Mon, 06 Feb 2006 20:58:54 +0100 |
wenzelm |
Envir.(beta_)eta_contract;
|
file |
diff |
annotate
|
Sat, 21 Jan 2006 23:02:14 +0100 |
wenzelm |
simplified type attribute;
|
file |
diff |
annotate
|
Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
file |
diff |
annotate
|
Thu, 22 Dec 2005 12:27:10 +0100 |
paulson |
Fixed a use of an outdated Substring function
|
file |
diff |
annotate
|
Tue, 06 Dec 2005 09:04:09 +0100 |
haftmann |
re-oriented some result tuples in PureThy
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 18:14:38 +0200 |
wenzelm |
OldGoals;
|
file |
diff |
annotate
|
Wed, 19 Oct 2005 21:52:29 +0200 |
wenzelm |
replaced commafy by existing commas;
|
file |
diff |
annotate
|
Tue, 18 Oct 2005 17:59:27 +0200 |
wenzelm |
Simplifier.theory_context;
|
file |
diff |
annotate
|
Mon, 26 Sep 2005 19:19:14 +0200 |
wenzelm |
moved disambiguate_frees to ProofKernel;
|
file |
diff |
annotate
|
Mon, 26 Sep 2005 16:10:19 +0200 |
obua |
Release HOL4 and HOLLight Importer.
|
file |
diff |
annotate
|
Mon, 26 Sep 2005 02:27:14 +0200 |
obua |
fixed disambiguation problem
|
file |
diff |
annotate
|
Sat, 24 Sep 2005 23:55:17 +0200 |
obua |
set show_types and show_sorts during import
|
file |
diff |
annotate
|
Sat, 24 Sep 2005 13:26:40 +0200 |
obua |
remove debug clutter
|
file |
diff |
annotate
|
Sat, 24 Sep 2005 10:47:22 +0200 |
obua |
bug fix
|
file |
diff |
annotate
|
Fri, 23 Sep 2005 22:49:25 +0200 |
obua |
fix
|
file |
diff |
annotate
|
Fri, 23 Sep 2005 20:13:54 +0200 |
obua |
1) fixed bug in type_introduction: first stage uses different namespace than second stage
|
file |
diff |
annotate
|
Fri, 23 Sep 2005 10:01:14 +0200 |
obua |
replay type_introduction fix
|
file |
diff |
annotate
|
Fri, 23 Sep 2005 00:52:13 +0200 |
obua |
add debug messages
|
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
|
Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
Wed, 14 Sep 2005 19:03:16 +0200 |
obua |
Fixed Importer bug in type_introduction: instantiate type variables in rep-abs theorems exactly as it is done in HOL-light.
|
file |
diff |
annotate
|
Tue, 13 Sep 2005 17:05:59 +0200 |
obua |
fixed INST: has same semantic now as INST_TYPE for repetitions
|
file |
diff |
annotate
|
Mon, 12 Sep 2005 22:07:07 +0200 |
obua |
removed clutter
|
file |
diff |
annotate
|