| Tue, 02 May 2000 18:44:33 +0200 |
paulson |
a more modern proof
|
file |
diff |
annotate
|
| Wed, 19 Apr 2000 11:09:59 +0200 |
paulson |
removal of less_SucI, le_SucI from default simpset
|
file |
diff |
annotate
|
| Mon, 13 Mar 2000 16:23:34 +0100 |
wenzelm |
case_tac now subsumes both boolean and datatype cases;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2000 12:51:10 +0100 |
nipkow |
exhaust_tac -> cases_tac
|
file |
diff |
annotate
|
| Fri, 27 Nov 1998 17:00:30 +0100 |
nipkow |
At last: linear arithmetic for nat!
|
file |
diff |
annotate
|
| Fri, 09 Oct 1998 11:10:59 +0200 |
paulson |
polymorphic versions of nat_neq_iff and nat_neqE
|
file |
diff |
annotate
|
| Mon, 21 Sep 1998 23:12:31 +0200 |
oheimb |
added wrapper for bspec
|
file |
diff |
annotate
|
| Thu, 10 Sep 1998 17:28:36 +0200 |
paulson |
in_set_butlast_appendI supersedes in_set_butlast_appendI1,2
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 13:19:38 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
| Sun, 12 Jul 1998 11:49:17 +0200 |
wenzelm |
isatool expandshort;
|
file |
diff |
annotate
|
| Fri, 03 Jul 1998 10:37:04 +0200 |
nipkow |
Removed leading !! in goals.
|
file |
diff |
annotate
|
| Mon, 22 Jun 1998 17:26:46 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
| Mon, 27 Apr 1998 16:46:56 +0200 |
nipkow |
Added conversion of reg.expr. to automata.
|
file |
diff |
annotate
|