| Tue, 06 Sep 2005 19:03:39 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
| Wed, 13 Feb 2002 10:48:29 +0100 |
paulson |
deleted some redundant 'addS*Es [equalityC*E]'s
|
file |
diff |
annotate
|
| Wed, 28 Jun 2000 10:49:10 +0200 |
paulson |
tidied
|
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, 07 Jan 2000 11:06:03 +0100 |
paulson |
tidied parentheses
|
file |
diff |
annotate
|
| Tue, 07 Sep 1999 10:40:58 +0200 |
wenzelm |
isatool expandshort;
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 13:19:38 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
| Wed, 15 Jul 1998 14:19:02 +0200 |
paulson |
More tidying and removal of "\!\!... from Goal commands
|
file |
diff |
annotate
|
| Wed, 15 Jul 1998 10:15:13 +0200 |
paulson |
Removal of leading "\!\!..." from most Goal commands
|
file |
diff |
annotate
|
| Sun, 12 Jul 1998 11:49:17 +0200 |
wenzelm |
isatool expandshort;
|
file |
diff |
annotate
|
| Mon, 22 Jun 1998 17:26:46 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
| Mon, 27 Apr 1998 16:45:27 +0200 |
nipkow |
Renamed expand_const -> split_const.
|
file |
diff |
annotate
|
| Fri, 24 Apr 1998 16:18:39 +0200 |
oheimb |
improved split_all_tac significantly
|
file |
diff |
annotate
|
| Tue, 07 Apr 1998 13:43:07 +0200 |
oheimb |
made split_all_tac as safe wrapper more defensive:
|
file |
diff |
annotate
|
| Thu, 02 Apr 1998 17:19:02 +0200 |
oheimb |
split_all_tac now fails if there is nothing to split
|
file |
diff |
annotate
|
| Thu, 08 Jan 1998 18:00:42 +0100 |
oheimb |
corrected Title
|
file |
diff |
annotate
|
| Wed, 05 Nov 1997 13:23:46 +0100 |
paulson |
Ran expandshort, especially to introduce Safe_tac
|
file |
diff |
annotate
|
| Mon, 03 Nov 1997 12:13:18 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
| Fri, 17 Oct 1997 15:25:12 +0200 |
nipkow |
setloop split_tac -> addsplits
|
file |
diff |
annotate
|
| Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
| Mon, 26 May 1997 12:44:04 +0200 |
paulson |
Tidying using the new exhaust_tac
|
file |
diff |
annotate
|
| Thu, 22 May 1997 15:10:05 +0200 |
paulson |
Uses option_case_tac
|
file |
diff |
annotate
|
| Wed, 30 Apr 1997 11:56:17 +0200 |
mueller |
old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);
|
file |
diff |
annotate
|