| Wed, 20 Apr 2005 22:43:52 +0200 | gagern | Added op in front of constructor for better parsing. | file | diff | annotate |
| Thu, 07 Apr 2005 09:25:33 +0200 | wenzelm | reverted renaming of Some/None in comments and strings; | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Sun, 29 Aug 2004 17:36:39 +0200 | webertj | depth limit (previously hard-coded with a value of 20) made a reference | file | diff | annotate |
| Mon, 21 Jun 2004 16:39:39 +0200 | wenzelm | immediate_output; | file | diff | annotate |
| Wed, 09 Jun 2004 18:57:18 +0200 | wenzelm | prs: Output.output; | file | diff | annotate |
| Mon, 15 Mar 2004 10:45:31 +0100 | paulson | more up-to-date error msg | file | diff | annotate |
| Fri, 30 Aug 2002 16:42:45 +0200 | paulson | removal of blast.overloaded | file | diff | annotate |
| Wed, 20 Feb 2002 00:53:53 +0100 | wenzelm | Symbol.bump_string; | file | diff | annotate |
| Thu, 06 Dec 2001 00:42:24 +0100 | wenzelm | tuned xtra_netpair; | file | diff | annotate |
| Wed, 05 Dec 2001 03:06:05 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 03 Dec 2001 21:01:37 +0100 | wenzelm | removed questionable init_gensym; | file | diff | annotate |
| Mon, 15 Oct 2001 20:36:04 +0200 | wenzelm | Tactic.orderlist; | file | diff | annotate |
| Sun, 14 Oct 2001 20:04:05 +0200 | wenzelm | ObjectLogic.atomize_tac; | file | diff | annotate |
| Fri, 16 Feb 2001 13:29:07 +0100 | paulson | Blast bug fix: now always duplicates when applying a haz rule, | file | diff | annotate |
| Wed, 14 Feb 2001 13:26:46 +0100 | paulson | new function get_overloads | file | diff | annotate |
| Mon, 06 Nov 2000 22:47:41 +0100 | wenzelm | tuned atomize_goal; | file | diff | annotate |
| Fri, 01 Sep 2000 00:36:08 +0200 | wenzelm | Method.bang_sectioned_args'; | file | diff | annotate |
| Tue, 01 Aug 2000 11:57:09 +0200 | wenzelm | handle actual object-logic rules by atomizing the goal; | file | diff | annotate |
| Wed, 28 Jun 2000 10:54:47 +0200 | paulson | warns of weak elim rules and ignores them | file | diff | annotate |
| Sat, 25 Sep 1999 13:23:58 +0200 | wenzelm | simplified sectioned_args; | file | diff | annotate |
| Tue, 21 Sep 1999 17:26:50 +0200 | wenzelm | setup for refined facts handling; | file | diff | annotate |
| Wed, 18 Aug 1999 20:47:31 +0200 | wenzelm | Method.modifier; | file | diff | annotate |
| Mon, 02 Aug 1999 17:59:25 +0200 | wenzelm | blast method: optional depth argument; | file | diff | annotate |
| Wed, 14 Jul 1999 13:05:46 +0200 | wenzelm | improved comment; | file | diff | annotate |
| Fri, 09 Jul 1999 18:54:55 +0200 | wenzelm | type claset: added extra I/E rules; | file | diff | annotate |
| Wed, 17 Mar 1999 16:33:47 +0100 | wenzelm | Theory.sign_of; | file | diff | annotate |
| Wed, 25 Nov 1998 14:03:20 +0100 | wenzelm | replaced prs by std_output / writeln; | file | diff | annotate |