| 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 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 16 Apr 2004 18:45:56 +0200 | berghofe | Replaced quote by Library.quote, since quote now refers to Symbol.quote | file | diff | annotate |
| Thu, 03 Jan 2002 17:56:15 +0100 | wenzelm | tuned msg; | file | diff | annotate |
| Thu, 01 Nov 2001 21:12:13 +0100 | wenzelm | Goals.add_locale; | file | diff | annotate |
| Thu, 18 Oct 2001 21:03:43 +0200 | wenzelm | legacy interfaces for axclass instantiation; | file | diff | annotate |
| Wed, 17 Oct 2001 18:52:30 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Thu, 13 Jul 2000 23:20:33 +0200 | wenzelm | defs (overloaded); | file | diff | annotate |
| Sun, 21 May 2000 14:35:27 +0200 | wenzelm | adapted to inner syntax of sorts; | file | diff | annotate |
| Mon, 13 Mar 2000 12:25:52 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | file | diff | annotate |
| Mon, 17 May 1999 21:36:34 +0200 | wenzelm | cleaned comments; | file | diff | annotate |
| Wed, 12 May 1999 17:26:56 +0200 | wenzelm | strip_quotes replaced by unenclose; | file | diff | annotate |
| Wed, 17 Mar 1999 13:42:42 +0100 | wenzelm | adapted AxClass.add_axclass; | file | diff | annotate |
| Thu, 11 Mar 1999 21:52:49 +0100 | wenzelm | tuned space; | file | diff | annotate |
| Tue, 09 Mar 1999 12:18:02 +0100 | wenzelm | IsarThy.begin/end_theory; | file | diff | annotate |
| Wed, 03 Feb 1999 17:28:02 +0100 | wenzelm | get_lexicon; | file | diff | annotate |
| Tue, 12 Jan 1999 13:39:41 +0100 | wenzelm | eliminated Attribute structure; | file | diff | annotate |
| Mon, 28 Dec 1998 16:50:37 +0100 | paulson | more efficient strip_quotes using "substring" | file | diff | annotate |
| Fri, 11 Dec 1998 10:36:39 +0100 | paulson | the + facility for locales, by Florian | file | diff | annotate |
| Fri, 04 Dec 1998 10:42:53 +0100 | paulson | locales: assumes and defines may be empty | file | diff | annotate |
| Tue, 17 Nov 1998 14:07:04 +0100 | wenzelm | Theory.apply replaced by Library.apply; | file | diff | annotate |
| Tue, 20 Oct 1998 16:26:47 +0200 | wenzelm | Syntax.max_pri; | file | diff | annotate |
| Tue, 04 Aug 1998 18:23:57 +0200 | wenzelm | added 'locale' section; | file | diff | annotate |
| Sat, 20 Jun 1998 20:18:22 +0200 | wenzelm | export mk_triple1/2; | file | diff | annotate |
| Mon, 25 May 1998 21:27:22 +0200 | wenzelm | tuned local, global; | file | diff | annotate |
| Wed, 20 May 1998 18:56:59 +0200 | wenzelm | tuned keywords; | file | diff | annotate |
| Wed, 29 Apr 1998 11:26:59 +0200 | wenzelm | replaced thy_setup by 'setup' section; | file | diff | annotate |
| Sat, 04 Apr 1998 11:41:24 +0200 | wenzelm | replaced thy_data by thy_setup; | file | diff | annotate |