| Thu, 31 May 2001 16:52:02 +0200 | oheimb | streamlined addIffs/delIffs, added warnings | file | diff | annotate |
| Fri, 23 Feb 2001 16:31:21 +0100 | oheimb | renamed addaltern to addafter, addSaltern to addSafter | file | diff | annotate |
| Sun, 07 Jan 2001 21:41:56 +0100 | wenzelm | CHANGED_PROP; | file | diff | annotate |
| Tue, 24 Oct 2000 17:35:22 +0200 | wenzelm | added clasimpset: unit -> clasimpset; | file | diff | annotate |
| Wed, 20 Sep 2000 00:02:26 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Tue, 19 Sep 2000 23:52:37 +0200 | wenzelm | added iff_add_global', iff_add_local' (syntax "iff?"); | file | diff | annotate |
| Wed, 13 Sep 2000 22:31:19 +0200 | wenzelm | Args.addN, Args.delN; | file | diff | annotate |
| Thu, 07 Sep 2000 20:51:07 +0200 | wenzelm | tuned msg; | file | diff | annotate |
| Tue, 05 Sep 2000 18:50:12 +0200 | wenzelm | added 'iff' declarations; | file | diff | annotate |
| Sat, 02 Sep 2000 21:51:14 +0200 | wenzelm | added "slowsimp", "bestsimp"; | file | diff | annotate |
| Fri, 01 Sep 2000 00:31:08 +0200 | wenzelm | auto method: opt args; | file | diff | annotate |
| Mon, 14 Aug 2000 14:53:26 +0200 | wenzelm | added "fastsimp"; | file | diff | annotate |
| Thu, 03 Aug 2000 00:44:49 +0200 | wenzelm | export get_local_clasimpset, clasimp_modifiers; | file | diff | annotate |
| Tue, 25 Jul 2000 00:13:11 +0200 | wenzelm | added clarsimp method; | file | diff | annotate |
| Fri, 21 Jul 2000 17:46:43 +0200 | oheimb | strengthened force_tac by using new first_best_tac | file | diff | annotate |
| Fri, 31 Mar 2000 21:58:34 +0200 | wenzelm | added change_global/local_css; | file | diff | annotate |
| Wed, 15 Mar 2000 18:40:03 +0100 | wenzelm | include Splitter.split_modifiers; | 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, 27 Oct 1999 19:29:47 +0200 | oheimb | clarsimp_tac now copes with the (unwanted) case that the simplifier splits | file | diff | annotate |
| Tue, 21 Sep 1999 17:26:50 +0200 | wenzelm | setup for refined facts handling; | file | diff | annotate |
| Thu, 02 Sep 1999 15:21:36 +0200 | wenzelm | renamed improper method 'clarsimp' to 'clarsimp_tac'; | file | diff | annotate |
| Wed, 01 Sep 1999 21:22:56 +0200 | wenzelm | Method.insert_tac; | file | diff | annotate |
| Mon, 30 Aug 1999 17:26:43 +0200 | wenzelm | auto: CHANGED; | file | diff | annotate |
| Wed, 18 Aug 1999 20:47:31 +0200 | wenzelm | Method.modifier; | file | diff | annotate |
| Mon, 02 Aug 1999 17:58:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 30 Jul 1999 13:43:26 +0200 | wenzelm | eliminated METHOD0 in favour of same_tac; | file | diff | annotate |
| Sun, 29 Nov 1998 13:13:57 +0100 | wenzelm | method brute_force = ALLGOALS force_tac; | file | diff | annotate |
| Wed, 18 Nov 1998 11:01:48 +0100 | wenzelm | method setup; | file | diff | annotate |
| Fri, 23 Oct 1998 20:35:56 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | file | diff | annotate |