| Sat, 14 Apr 2007 17:35:52 +0200 | wenzelm | cleaned/simplified Sign.read_typ, Thm.read_cterm etc.; | file | diff | annotate |
| Wed, 04 Apr 2007 23:29:33 +0200 | wenzelm | rep_thm/cterm/ctyp: removed obsolete sign field; | file | diff | annotate |
| Tue, 25 Jul 2006 21:18:00 +0200 | wenzelm | renamed Term.variant_abs to Syntax.variant_abs; | file | diff | annotate |
| Tue, 11 Jul 2006 12:16:54 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | file | diff | annotate |
| Tue, 20 Dec 2005 08:58:36 +0100 | haftmann | removed superfluos is_prefix functions | file | diff | annotate |
| Fri, 21 Oct 2005 18:14:38 +0200 | wenzelm | OldGoals; | file | diff | annotate |
| Wed, 14 Sep 2005 10:13:12 +0200 | haftmann | introduces AList.lookup | file | diff | annotate |
| Tue, 06 Sep 2005 16:24:53 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Tue, 28 Jun 2005 15:27:45 +0200 | paulson | Constant "If" is now local | file | diff | annotate |
| Mon, 20 Jun 2005 22:13:59 +0200 | wenzelm | get_thm(s): Name; | file | diff | annotate |
| Fri, 17 Jun 2005 18:33:14 +0200 | wenzelm | replaced obsolete theory_of_sign by theory_of_thm; | file | diff | annotate |
| Sun, 05 Jun 2005 11:31:21 +0200 | wenzelm | File.shell_path; | file | diff | annotate |
| Tue, 31 May 2005 11:53:43 +0200 | wenzelm | no_tac; | 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 |
| Mon, 24 Jan 2005 17:59:48 +0100 | berghofe | Adapted to modified interface of PureThy.get_thm(s). | file | diff | annotate |
| Mon, 21 Jun 2004 16:39:09 +0200 | wenzelm | File.quote_sysify_path; | file | diff | annotate |
| Sun, 20 Jun 2004 09:30:12 +0200 | wenzelm | got rid of Output.output for default print mode; | file | diff | annotate |
| Sat, 29 May 2004 14:57:39 +0200 | wenzelm | Output.output; | file | diff | annotate |
| Fri, 20 Aug 1999 15:42:20 +0200 | wenzelm | mucke -res; | file | diff | annotate |
| Thu, 19 Aug 1999 19:55:13 +0200 | wenzelm | quite a lot of tuning an cleanup; | file | diff | annotate |
| Thu, 22 Apr 1999 18:25:24 +0200 | wenzelm | fixed IO; | file | diff | annotate |
| Thu, 22 Apr 1999 12:42:14 +0200 | mueller | added for mucke translation; | file | diff | annotate |