| Fri, 15 Apr 2005 12:00:00 +0200 | ballarin | Removed most of the atp interface from Pure. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Thu, 03 Feb 2005 16:45:59 +0100 | nipkow | added find_rewrites | file | diff | annotate |
| Fri, 21 Jan 2005 18:00:18 +0100 | paulson | Jia Meng: delta simpsets and clasets | file | diff | annotate |
| Sun, 11 Jul 2004 20:35:50 +0200 | wenzelm | context dependent components; | file | diff | annotate |
| Thu, 08 Jul 2004 19:34:00 +0200 | wenzelm | got rid of obsolete meta_simpset; tuned; | file | diff | annotate |
| Fri, 25 Jun 2004 14:30:55 +0200 | skalberg | Merging the meta-simplifier with the Provers-simplifier. Next step: | file | diff | annotate |
| Fri, 28 May 2004 21:09:56 +0200 | schirmer | added asm_lr_simplify/asm_lr_rewrite and adapted asm_full_simplify/asm_full_rewrite to match to corresponding simp_tacs | file | diff | annotate |
| Mon, 30 Sep 2002 16:36:57 +0200 | berghofe | Added syntax for "asm_lr" simplifier option. | file | diff | annotate |
| Wed, 07 Aug 2002 20:03:38 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 06 Aug 2002 11:22:05 +0200 | wenzelm | sane interface for simprocs; | file | diff | annotate |
| Wed, 28 Nov 2001 00:46:26 +0100 | wenzelm | theory data: removed obsolete finish method; | file | diff | annotate |
| 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 |
| Wed, 29 Sep 1999 14:36:04 +0200 | wenzelm | mk_simps: do *not* include Thm.strip_shyps o Drule.zero_var_indexes | file | diff | annotate |
| Tue, 21 Sep 1999 23:06:50 +0200 | wenzelm | merged in lost update; | file | diff | annotate |
| Tue, 21 Sep 1999 19:05:38 +0200 | nipkow | Solvers are now named and stamped. | file | diff | annotate |
| Tue, 21 Sep 1999 17:26:42 +0200 | wenzelm | setup for refined facts handling; | file | diff | annotate |
| Wed, 01 Sep 1999 21:22:38 +0200 | wenzelm | Method.insert_tac; | file | diff | annotate |
| Wed, 18 Aug 1999 20:48:06 +0200 | wenzelm | Method.modifier; | file | diff | annotate |
| Mon, 16 Aug 1999 17:44:14 +0200 | oheimb | forgot to write back adaption of onlysimps | file | diff | annotate |
| Mon, 16 Aug 1999 17:33:45 +0200 | oheimb | exchanged finish_tac and unsafe_finish_tac (the more important one) in simpset | file | diff | annotate |
| Thu, 05 Aug 1999 22:09:23 +0200 | wenzelm | change_simpset_of; | file | diff | annotate |
| Fri, 30 Jul 1999 13:43:26 +0200 | wenzelm | eliminated METHOD0 in favour of same_tac; | file | diff | annotate |
| Tue, 13 Jul 1999 12:32:22 +0200 | wenzelm | same_tac; | file | diff | annotate |
| Tue, 06 Jul 1999 21:16:29 +0200 | wenzelm | simp only: attribute, method arg; | file | diff | annotate |
| Fri, 30 Apr 1999 18:10:03 +0200 | wenzelm | theory data: copy; | file | diff | annotate |
| Tue, 27 Apr 1999 15:39:43 +0200 | wenzelm | improper simp methods; | file | diff | annotate |
| Wed, 17 Mar 1999 16:33:47 +0100 | wenzelm | Theory.sign_of; | file | diff | annotate |
| Tue, 12 Jan 1999 15:25:53 +0100 | wenzelm | eliminated tthm type and Attribute structure; | file | diff | annotate |
| Wed, 18 Nov 1998 11:02:42 +0100 | wenzelm | export simp_modifiers; | file | diff | annotate |
| Mon, 16 Nov 1998 11:10:00 +0100 | wenzelm | all modifiers turned into attributes; | file | diff | annotate |