| Mon, 22 Jun 1998 17:26:46 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
| Mon, 16 Mar 1998 16:50:50 +0100 |
paulson |
inverse -> converse
|
file |
diff |
annotate
|
| Mon, 10 Nov 1997 15:25:12 +0100 |
wenzelm |
ASCII-fied;
|
file |
diff |
annotate
|
| Mon, 03 Nov 1997 12:13:18 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
| Fri, 26 Sep 1997 10:21:14 +0200 |
paulson |
Minor tidying to use Clarify_tac, etc.
|
file |
diff |
annotate
|
| Mon, 23 Jun 1997 10:42:03 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
| Tue, 17 Jun 1997 09:01:56 +0200 |
nipkow |
converse -> ^-1
|
file |
diff |
annotate
|
| Fri, 06 Jun 1997 13:28:40 +0200 |
paulson |
Removed a few redundant additions of simprules or classical rules
|
file |
diff |
annotate
|
| Fri, 30 May 1997 15:22:19 +0200 |
paulson |
New proofs about cardinality. Suggested by Florian Kammueller
|
file |
diff |
annotate
|
| Tue, 27 May 1997 13:26:11 +0200 |
paulson |
Restoration of the two "bypassed" theorems Union_quotient and quotient_disj
|
file |
diff |
annotate
|
| Thu, 21 Nov 1996 15:28:25 +0100 |
paulson |
Tidied up some proofs, ...
|
file |
diff |
annotate
|
| Thu, 26 Sep 1996 16:38:02 +0200 |
paulson |
Ran expandshort; used stac instead of ssubst
|
file |
diff |
annotate
|
| Wed, 11 Sep 1996 18:46:07 +0200 |
paulson |
Moved RSLIST here from ../Relation.ML
|
file |
diff |
annotate
|
| Tue, 30 Jul 1996 17:33:26 +0200 |
berghofe |
Classical tactics now use default claset.
|
file |
diff |
annotate
|
| Fri, 28 Jun 1996 15:30:55 +0200 |
paulson |
Removed a use of eq_cs
|
file |
diff |
annotate
|
| Thu, 04 Apr 1996 11:45:01 +0200 |
paulson |
Using new "Times" infix
|
file |
diff |
annotate
|
| Tue, 30 Jan 1996 15:24:36 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Wed, 04 Oct 1995 13:12:14 +0100 |
clasohm |
added local simpsets
|
file |
diff |
annotate
|
| Thu, 13 Apr 1995 15:06:25 +0200 |
lcp |
Deleted some useless things and made proofs of
|
file |
diff |
annotate
|
| Fri, 24 Mar 1995 12:30:35 +0100 |
clasohm |
changed syntax of tuples from <..., ...> to (..., ...)
|
file |
diff |
annotate
|
| Fri, 03 Mar 1995 12:04:45 +0100 |
clasohm |
new version of HOL/Integ with curried function application
|
file |
diff |
annotate
|