| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Mon, 26 Jan 2004 15:33:51 +0100 |
schirmer |
\\<...> will be converted to \<...>
|
file |
diff |
annotate
|
| Wed, 03 Apr 2002 10:21:13 +0200 |
oheimb |
bugfix concerning claset(), added limited support for ALLGOALS + fast_tac etc.
|
file |
diff |
annotate
|
| Mon, 28 May 2001 18:48:28 +0200 |
oheimb |
improved handling of space before/after parentheses
|
file |
diff |
annotate
|
| Mon, 07 May 2001 19:19:41 +0200 |
oheimb |
minor bugfix for AddIffs
|
file |
diff |
annotate
|
| Thu, 03 May 2001 18:22:36 +0200 |
oheimb |
improved EVERY'
|
file |
diff |
annotate
|
| Mon, 30 Apr 2001 13:54:33 +0200 |
oheimb |
minor bugfix for subst_RS
|
file |
diff |
annotate
|
| Mon, 30 Apr 2001 13:17:17 +0200 |
oheimb |
improve support for EVERY', added support for EVERY
|
file |
diff |
annotate
|
| Mon, 30 Apr 2001 12:15:25 +0200 |
oheimb |
minor bugfix for newlines with Goalw
|
file |
diff |
annotate
|
| Mon, 30 Apr 2001 11:57:10 +0200 |
oheimb |
added support for EVERY', improved support for RS
|
file |
diff |
annotate
|
| Mon, 23 Apr 2001 17:11:19 +0200 |
oheimb |
added parentheses for 'b y' syntax, added primitive smp_tac support
|
file |
diff |
annotate
|
| Wed, 07 Mar 2001 17:19:16 +0100 |
streckem |
added strange 'b y' syntax
|
file |
diff |
annotate
|
| Thu, 15 Feb 2001 14:30:13 +0100 |
oheimb |
improved subst_RS
|
file |
diff |
annotate
|
| Wed, 14 Feb 2001 11:18:39 +0100 |
oheimb |
added support for AddXIs, AddXEs, AddXDs
|
file |
diff |
annotate
|
| Wed, 07 Feb 2001 17:40:56 +0100 |
oheimb |
solved non-initialization problems; improvements using prefer
|
file |
diff |
annotate
|
| Mon, 05 Feb 2001 14:57:17 +0100 |
oheimb |
improvements concerning instantiations etc.
|
file |
diff |
annotate
|
| Fri, 02 Feb 2001 00:31:39 +0100 |
oheimb |
little bugfixes; added induct_thm_tac
|
file |
diff |
annotate
|
| Thu, 01 Feb 2001 20:56:21 +0100 |
oheimb |
added translations for bind_thm and val
|
file |
diff |
annotate
|
| Thu, 01 Feb 2001 18:13:06 +0100 |
oheimb |
debugged declare
|
file |
diff |
annotate
|
| Thu, 01 Feb 2001 17:03:19 +0100 |
oheimb |
further minor improvements
|
file |
diff |
annotate
|
| Wed, 31 Jan 2001 16:35:46 +0100 |
oheimb |
added attribute declarations, etc.
|
file |
diff |
annotate
|
| Tue, 30 Jan 2001 18:48:33 +0100 |
oheimb |
corrected file name suffixes
|
file |
diff |
annotate
|
| Tue, 30 Jan 2001 18:47:00 +0100 |
oheimb |
removed (obsolete) mult_assumption
|
file |
diff |
annotate
|
| Wed, 24 Jan 2001 17:53:01 +0100 |
oheimb |
debugging and extensions
|
file |
diff |
annotate
|
| Fri, 19 Jan 2001 11:53:21 +0100 |
wenzelm |
convert legacy tactic scripts to Isabelle/Isar tactic emulation;
|
file |
diff |
annotate
|