| Tue, 26 Jul 2005 18:29:59 +0200 |
huffman |
brought ML files up to date with new lemmas
|
file |
diff |
annotate
|
| Fri, 08 Jul 2005 03:09:32 +0200 |
huffman |
replaced old continuity rules with new lemma cont2cont_lift_case
|
file |
diff |
annotate
|
| Thu, 07 Jul 2005 21:41:08 +0200 |
huffman |
removed obsolete continuity theorems
|
file |
diff |
annotate
|
| Thu, 07 Jul 2005 21:22:15 +0200 |
huffman |
define lift type using pcpodef; cleaned up
|
file |
diff |
annotate
|
| Tue, 05 Jul 2005 23:14:48 +0200 |
huffman |
simplified definitions of flift1, flift2, liftpair;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2005 04:05:15 +0200 |
huffman |
renamed theorem cont2cont_CF1L_rev2 to cont2cont_lambda
|
file |
diff |
annotate
|
| Wed, 25 May 2005 02:49:46 +0200 |
huffman |
shorted proof that lift is chfin
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 01:38:11 +0100 |
wenzelm |
rep_datatype lift;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2001 15:32:27 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 21 Sep 1999 19:11:07 +0200 |
nipkow |
Mod because of new solver interface.
|
file |
diff |
annotate
|
| Wed, 12 Aug 1998 12:17:20 +0200 |
slotosch |
eliminated fabs,fapp.
|
file |
diff |
annotate
|
| Wed, 15 Jul 1998 10:15:13 +0200 |
paulson |
Removal of leading "\!\!..." from most Goal commands
|
file |
diff |
annotate
|
| Mon, 22 Jun 1998 17:13:09 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
| Wed, 24 Dec 1997 10:02:30 +0100 |
paulson |
New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
|
file |
diff |
annotate
|
| Mon, 03 Nov 1997 14:06:27 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
| Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
| Tue, 09 Sep 1997 11:14:20 +0200 |
mueller |
moved extended adm_tac to new place
|
file |
diff |
annotate
|
| Wed, 03 Sep 1997 16:24:46 +0200 |
mueller |
new extended adm tactic introduced;
|
file |
diff |
annotate
|
| Mon, 23 Jun 1997 10:42:03 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
| Sun, 25 May 1997 16:17:09 +0200 |
slotosch |
Eliminated the prediates flat,chfin
|
file |
diff |
annotate
|