| Wed, 21 Nov 2001 00:33:04 +0100 |
wenzelm |
theory Inverse_Image converted and moved to Set;
|
file |
diff |
annotate
|
| Sun, 28 Oct 2001 22:59:12 +0100 |
wenzelm |
converted theory "Set";
|
file |
diff |
annotate
|
| Sun, 14 Oct 2001 22:08:29 +0200 |
wenzelm |
moved rulify to ObjectLogic;
|
file |
diff |
annotate
|
| Sun, 14 Oct 2001 20:02:59 +0200 |
wenzelm |
improved atomize setup;
|
file |
diff |
annotate
|
| Wed, 03 Oct 2001 20:54:16 +0200 |
wenzelm |
tuned parentheses in relational expressions;
|
file |
diff |
annotate
|
| Thu, 27 Sep 2001 16:04:25 +0200 |
wenzelm |
AddXEs [UnI1, UnI2];
|
file |
diff |
annotate
|
| Tue, 08 May 2001 16:01:36 +0200 |
paulson |
fixed comment
|
file |
diff |
annotate
|
| Thu, 29 Mar 2001 13:59:54 +0200 |
nipkow |
generalization of 1 point rules for ALL
|
file |
diff |
annotate
|
| Tue, 27 Mar 2001 13:00:30 +0200 |
nipkow |
fixed bug in tactic for ball 1 point simproc
|
file |
diff |
annotate
|
| Mon, 26 Mar 2001 12:51:14 +0200 |
nipkow |
I forgot a few bases cases for the 1-point rules...
|
file |
diff |
annotate
|
| Fri, 23 Mar 2001 10:10:53 +0100 |
nipkow |
added one point simprocs for bounded quantifiers
|
file |
diff |
annotate
|
| Tue, 20 Feb 2001 18:47:29 +0100 |
oheimb |
simplified definition of wrapper bspec
|
file |
diff |
annotate
|
| Wed, 31 Jan 2001 10:15:01 +0100 |
oheimb |
added diff_single_insert and subset_image_iff
|
file |
diff |
annotate
|
| Tue, 09 Jan 2001 15:22:13 +0100 |
nipkow |
`` -> and ``` -> ``
|
file |
diff |
annotate
|
| Fri, 17 Nov 2000 18:48:00 +0100 |
wenzelm |
UNIV_witness;
|
file |
diff |
annotate
|