| Mon, 05 Aug 2002 14:32:56 +0200 |
berghofe |
Replaced nat_ind_tac by induct_tac.
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 18:42:00 +0100 |
wenzelm |
adapted to new-style theories;
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 01:41:26 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 16:26:55 +0200 |
berghofe |
Renamed functions % and %% to avoid clash with syntax for proof terms.
|
file |
diff |
annotate
|
| Tue, 09 Jan 2001 15:36:30 +0100 |
nipkow |
` -> $
|
file |
diff |
annotate
|
| Tue, 17 Oct 2000 10:20:43 +0200 |
paulson |
tidying and renaming of contrapos rules
|
file |
diff |
annotate
|
| Mon, 13 Mar 2000 13:28:31 +0100 |
wenzelm |
adapted to new PureThy.add_thms etc.;
|
file |
diff |
annotate
|
| Fri, 28 Jan 2000 11:23:41 +0100 |
oheimb |
added tacticals DETERM_UNTIL and DETERM_UNTIL_SOLVED
|
file |
diff |
annotate
|
| Thu, 21 Oct 1999 18:46:33 +0200 |
wenzelm |
get_thm;
|
file |
diff |
annotate
|
| Tue, 12 Jan 1999 13:54:51 +0100 |
wenzelm |
eliminated tthm type and Attribute structure;
|
file |
diff |
annotate
|
| Wed, 12 Aug 1998 12:17:20 +0200 |
slotosch |
eliminated fabs,fapp.
|
file |
diff |
annotate
|
| Wed, 29 Apr 1998 11:36:08 +0200 |
wenzelm |
adapted to new PureThy.add_tthmss;
|
file |
diff |
annotate
|
| Tue, 24 Mar 1998 15:57:18 +0100 |
oheimb |
added cproj', and therefore extended prj
|
file |
diff |
annotate
|
| Tue, 10 Mar 1998 18:33:13 +0100 |
oheimb |
renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin
|
file |
diff |
annotate
|
| Fri, 21 Nov 1997 15:29:56 +0100 |
wenzelm |
changed Pure/Sequence interface -- isatool fixseq;
|
file |
diff |
annotate
|