Sat, 24 Nov 2001 16:54:32 +0100 |
wenzelm |
generic_merge;
|
file |
diff |
annotate
|
Thu, 08 Nov 2001 23:59:37 +0100 |
wenzelm |
theory data: finish method;
|
file |
diff |
annotate
|
Thu, 25 Oct 2001 22:42:50 +0200 |
wenzelm |
'simplified' att: args;
|
file |
diff |
annotate
|
Thu, 04 Oct 2001 15:19:56 +0200 |
wenzelm |
qualify MetaSimplifier;
|
file |
diff |
annotate
|
Sun, 07 Jan 2001 21:41:56 +0100 |
wenzelm |
CHANGED_PROP;
|
file |
diff |
annotate
|
Tue, 07 Nov 2000 17:42:19 +0100 |
berghofe |
Moved meta simplification stuff from Thm to MetaSimplifier.
|
file |
diff |
annotate
|
Tue, 19 Sep 2000 23:53:00 +0200 |
wenzelm |
tuned args;
|
file |
diff |
annotate
|
Fri, 15 Sep 2000 21:52:09 +0200 |
wenzelm |
safe_asm_full_simp_tac is back (for compat);
|
file |
diff |
annotate
|
Wed, 13 Sep 2000 22:31:19 +0200 |
wenzelm |
Args.addN, Args.delN;
|
file |
diff |
annotate
|
Thu, 07 Sep 2000 20:56:04 +0200 |
wenzelm |
tuned att names / msgs;
|
file |
diff |
annotate
|
Tue, 05 Sep 2000 18:50:30 +0200 |
wenzelm |
removed 'other' modifier;
|
file |
diff |
annotate
|
Tue, 29 Aug 2000 12:28:48 +0200 |
wenzelm |
made SML/XL happy;
|
file |
diff |
annotate
|
Tue, 29 Aug 2000 00:56:22 +0200 |
wenzelm |
proper cong setup;
|
file |
diff |
annotate
|
Thu, 03 Aug 2000 18:44:24 +0200 |
wenzelm |
unknown_theory/proof/context;
|
file |
diff |
annotate
|
Tue, 25 Jul 2000 23:33:13 +0200 |
wenzelm |
tuned msg;
|
file |
diff |
annotate
|
Fri, 21 Jul 2000 17:46:38 +0200 |
oheimb |
removed safe_asm_full_simp_tac
|
file |
diff |
annotate
|
Wed, 31 May 2000 14:29:42 +0200 |
wenzelm |
Toplevel.no_timing;
|
file |
diff |
annotate
|
Wed, 17 May 2000 17:16:21 +0200 |
wenzelm |
export generic_simp_tac;
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:32:25 +0200 |
wenzelm |
use Args.colon / Args.parens;
|
file |
diff |
annotate
|
Mon, 17 Apr 2000 14:10:04 +0200 |
wenzelm |
Pretty.chunks;
|
file |
diff |
annotate
|
Thu, 13 Apr 2000 15:01:11 +0200 |
wenzelm |
added simp_options;
|
file |
diff |
annotate
|
Tue, 04 Apr 2000 22:16:11 +0200 |
wenzelm |
print_simpset / print_claset command;
|
file |
diff |
annotate
|
Fri, 31 Mar 2000 21:55:27 +0200 |
wenzelm |
use Attrib.add_del_args;
|
file |
diff |
annotate
|
Wed, 15 Mar 2000 18:36:53 +0100 |
wenzelm |
export change_global_ss, change_local_ss;
|
file |
diff |
annotate
|
Wed, 08 Mar 2000 23:47:44 +0100 |
wenzelm |
fixed section syntax;
|
file |
diff |
annotate
|
Mon, 14 Feb 2000 20:43:12 +0100 |
wenzelm |
easy_setup: fixed mksimps;
|
file |
diff |
annotate
|
Thu, 10 Feb 2000 13:34:52 +0100 |
wenzelm |
added easy_setup;
|
file |
diff |
annotate
|
Sat, 29 Jan 2000 14:22:16 +0100 |
wenzelm |
simp_all method;
|
file |
diff |
annotate
|
Fri, 28 Jan 2000 21:57:15 +0100 |
wenzelm |
HEADGOAL;
|
file |
diff |
annotate
|
Fri, 28 Jan 2000 12:12:06 +0100 |
wenzelm |
replaced FIRSTGOAL by FINDGOAL (backtracking!);
|
file |
diff |
annotate
|