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
|