| Thu, 16 Feb 2006 18:25:58 +0100 | wenzelm | added premsN; | file | diff | annotate |
| Sat, 07 Jan 2006 12:26:29 +0100 | wenzelm | RuleCases.make_simple; | file | diff | annotate |
| Thu, 22 Dec 2005 00:29:03 +0100 | wenzelm | rule_context: numbered cases; | file | diff | annotate |
| Sat, 15 Oct 2005 00:08:01 +0200 | wenzelm | added no_facts; | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:33 +0200 | wenzelm | added cases, rule_contextN; | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Mon, 19 Nov 2001 20:46:38 +0100 | wenzelm | fixed comment; | file | diff | annotate |
| Sun, 11 Nov 2001 21:32:12 +0100 | wenzelm | facts: multiple args; | file | diff | annotate |
| Sun, 14 Oct 2001 20:09:19 +0200 | wenzelm | use ObjectLogic; | file | diff | annotate |
| Sat, 06 Jan 2001 21:28:30 +0100 | wenzelm | added drop_judgment; | file | diff | annotate |
| Fri, 03 Nov 2000 21:25:30 +0100 | wenzelm | added atomic_judgment; | file | diff | annotate |
| Mon, 30 Oct 2000 18:25:38 +0100 | wenzelm | improved statement bindings for props; | file | diff | annotate |
| Sun, 30 Jul 2000 12:51:33 +0200 | wenzelm | added is_judgment; | file | diff | annotate |
| Thu, 13 Jul 2000 11:41:06 +0200 | wenzelm | export thesisN separately; | file | diff | annotate |
| Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 30 Mar 2000 14:21:28 +0200 | wenzelm | ?this: support params; | file | diff | annotate |
| Thu, 10 Feb 2000 13:34:38 +0100 | wenzelm | add_judgment; | file | diff | annotate |
| Fri, 01 Oct 1999 20:37:38 +0200 | wenzelm | added atomic_thesis; | file | diff | annotate |
| Sat, 25 Sep 1999 13:07:48 +0200 | wenzelm | admit unbinding; | file | diff | annotate |
| Sat, 04 Sep 1999 21:05:01 +0200 | wenzelm | removed Syntax.binding; | file | diff | annotate |
| Fri, 03 Sep 1999 14:52:19 +0200 | wenzelm | "this"; | file | diff | annotate |
| Tue, 24 Aug 1999 11:50:17 +0200 | wenzelm | ??thesis: include params; | file | diff | annotate |
| Mon, 19 Jul 1999 21:26:33 +0200 | wenzelm | facts: no statement_binds; | file | diff | annotate |
| Mon, 07 Jun 1999 22:16:56 +0200 | wenzelm | facts: bind named props (from proof.ML/let_thms); | file | diff | annotate |
| Sat, 05 Jun 1999 20:27:53 +0200 | wenzelm | renamed object_logic.ML to Isar/auto_bind.ML and tuned this module; | file | diff | annotate |