| 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
|