| Fri, 19 Jun 2015 18:41:21 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:20:45 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Fri, 09 May 2014 08:13:36 +0200 |
haftmann |
removed junk from library theory
|
file |
diff |
annotate
|
| Wed, 12 Feb 2014 08:37:28 +0100 |
blanchet |
tabled, v.: postpone consideration of
|
file |
diff |
annotate
|
| Mon, 30 Jan 2012 13:55:22 +0100 |
bulwahn |
adding code equation for rtranclp in Enum
|
file |
diff |
annotate
|
| Fri, 21 Oct 2011 11:17:14 +0200 |
bulwahn |
replacing code_inline by code_unfold, removing obsolete code_unfold, code_inline del now that the ancient code generator is removed
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 08:37:14 +0200 |
bulwahn |
removing invocations of the old code generator
|
file |
diff |
annotate
|
| Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
| Tue, 26 Jul 2011 08:07:00 +0200 |
bulwahn |
adding remarks after static inspection of the invocation of the SML code generator
|
file |
diff |
annotate
|
| Mon, 28 Jun 2010 15:03:06 +0200 |
haftmann |
tuned whitespace
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 21:28:09 +0200 |
wenzelm |
replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 21:41:35 +0100 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2010 18:37:37 +0100 |
berghofe |
Changed case names of converse_rtranclp_induct.
|
file |
diff |
annotate
|
| Mon, 23 Nov 2009 19:42:52 +0100 |
bulwahn |
improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler
|
file |
diff |
annotate
|
| Thu, 12 Nov 2009 20:38:57 +0100 |
bulwahn |
added a tabled implementation of the reflexive transitive closure
|
file |
diff |
annotate
|