| Wed, 15 Feb 2012 23:19:30 +0100 |
wenzelm |
renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2012 21:14:00 +0100 |
wenzelm |
tuned ML infixes;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2012 15:39:08 +0100 |
wenzelm |
updated RSN, RL, RLN, MRS;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2012 13:31:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2012 13:24:57 +0100 |
wenzelm |
more on Logic.all/mk_implies etc.;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 19:08:46 +0200 |
wenzelm |
moved incr_boundvars;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 18:05:38 +0200 |
wenzelm |
modernized and re-unified Thm.transfer;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:44:05 +0200 |
wenzelm |
use existing \<hyphen>;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:07:24 +0200 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 17:42:21 +0200 |
wenzelm |
simplified keyword markup (without formal checking);
|
file |
diff |
annotate
|
| Sun, 01 May 2011 00:01:59 +0200 |
wenzelm |
use @{rail} antiquotation (with some nested markup);
|
file |
diff |
annotate
|
| Tue, 19 Apr 2011 10:50:54 +0200 |
wenzelm |
updated some theory primitives, which now depend on auxiliary context;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 00:00:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 16:14:40 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 20:57:33 +0100 |
wenzelm |
cumulative update of generated files (since bf164c153d10);
|
file |
diff |
annotate
|
| Mon, 26 Apr 2010 11:20:18 +0200 |
wenzelm |
updated Sign.add_type_abbrev;
|
file |
diff |
annotate
|
| Wed, 14 Apr 2010 11:24:31 +0200 |
wenzelm |
updated Thm.add_axiom/add_def;
|
file |
diff |
annotate
|
| Tue, 23 Mar 2010 12:29:41 +0100 |
wenzelm |
updated Thm.add_axiom/add_def;
|
file |
diff |
annotate
|
| Fri, 05 Feb 2010 14:39:02 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 26 Oct 2009 08:54:20 +0100 |
haftmann |
adjusted to changes in corresponding ML code
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 20:20:45 +0200 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 16 Mar 2009 23:36:55 +0100 |
wenzelm |
provide Simplifier.norm_hhf(_protect) as regular simplifier operation;
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 00:41:52 +0100 |
wenzelm |
use binding type;
|
file |
diff |
annotate
|
| Fri, 06 Mar 2009 11:28:07 +0100 |
wenzelm |
recovered generated files;
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 20:55:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Sat, 21 Feb 2009 18:05:34 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 21:01:52 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 21:39:52 +0100 |
wenzelm |
updated genereted files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:49:39 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:47:44 +0100 |
wenzelm |
observe usual theory naming conventions;
|
file |
diff |
annotate
| base
|