| Thu, 26 Apr 2007 12:00:05 +0200 | wenzelm | renamed some old names Theory.xxx to Sign.xxx; | file | diff | annotate |
| Fri, 20 Apr 2007 17:58:27 +0200 | haftmann | defs are added to code data | file | diff | annotate |
| Sun, 15 Apr 2007 23:25:52 +0200 | wenzelm | read prop as prop, not term; | file | diff | annotate |
| Sat, 07 Oct 2006 01:31:13 +0200 | wenzelm | Thm.def_name_optional; | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:48 +0100 | wenzelm | LocalDefs.cert_def; | file | diff | annotate |
| Tue, 31 Jan 2006 18:19:28 +0100 | wenzelm | tuned LocalTheory.pretty_consts; | file | diff | annotate |
| Wed, 25 Jan 2006 00:21:37 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Tue, 24 Jan 2006 00:43:27 +0100 | wenzelm | LocalTheory.pretty_consts; | file | diff | annotate |
| Sat, 21 Jan 2006 23:02:14 +0100 | wenzelm | simplified type attribute; | file | diff | annotate |
| Fri, 13 Jan 2006 01:13:06 +0100 | wenzelm | uniform handling of fixes; | file | diff | annotate |
| Tue, 10 Jan 2006 19:33:37 +0100 | wenzelm | Specification.pretty_consts ctxt; | file | diff | annotate |
| Sat, 07 Jan 2006 23:27:55 +0100 | wenzelm | Specification.pretty_consts; | file | diff | annotate |
| Tue, 06 Dec 2005 09:04:09 +0100 | haftmann | re-oriented some result tuples in PureThy | file | diff | annotate |
| Sat, 15 Oct 2005 00:08:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:36 +0200 | wenzelm | replaced sign by thy; | file | diff | annotate |
| Tue, 17 May 2005 18:10:31 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Apr 2005 18:45:25 +0200 | wenzelm | *** MESSAGE REFERS TO PREVIOUS VERSION *** | file | diff | annotate |
| Wed, 13 Apr 2005 18:34:22 +0200 | wenzelm | *** empty log message *** | 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 |
| Tue, 29 Jun 2004 11:18:34 +0200 | kleing | license change to BSD | file | diff | annotate |
| Fri, 07 May 2004 20:33:37 +0200 | wenzelm | be liberal about constant names; | file | diff | annotate |
| Fri, 23 Apr 2004 20:50:51 +0200 | wenzelm | improved messages; | file | diff | annotate |
| Thu, 22 Apr 2004 13:26:47 +0200 | wenzelm | 'constdefs' with automatic type-inference and structure context; | file | diff | annotate |