| 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 |