Sat, 14 Jan 2012 21:16:15 +0100 |
wenzelm |
discontinued old-style Term.list_abs in favour of plain Term.abs;
|
file |
diff |
annotate
|
Fri, 08 Apr 2011 15:02:11 +0200 |
wenzelm |
discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
|
file |
diff |
annotate
|
Mon, 10 Jan 2011 15:19:48 +0100 |
wenzelm |
standardized split_last/last_elem towards List.last;
|
file |
diff |
annotate
|
Sun, 07 Mar 2010 12:19:47 +0100 |
wenzelm |
modernized structure Object_Logic;
|
file |
diff |
annotate
|
Mon, 02 Nov 2009 20:45:23 +0100 |
wenzelm |
modernized structure AutoBind;
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Fri, 16 May 2008 21:53:27 +0200 |
wenzelm |
removed obsolete case rule_context;
|
file |
diff |
annotate
|
Wed, 16 Apr 2008 17:40:42 +0200 |
wenzelm |
removed obsolete premsN;
|
file |
diff |
annotate
|
Tue, 21 Nov 2006 20:48:03 +0100 |
wenzelm |
added assmsN;
|
file |
diff |
annotate
|
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
|