| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 03 Jun 2019 13:28:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Fri, 23 Feb 2018 19:25:37 +0100 |
wenzelm |
added HOLogic.mk_obj_eq convenience and eliminated some clones;
|
file |
diff |
annotate
|
| Thu, 25 Jan 2018 14:13:55 +0100 |
wenzelm |
clarified signature: items with \isasep are special;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 11:36:29 +0100 |
wenzelm |
adapted to a5ca98950a91;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2018 21:41:30 +0100 |
wenzelm |
clarified access to antiquotation options;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 24 Jul 2016 16:48:40 +0200 |
haftmann |
simplified
|
file |
diff |
annotate
|
| Thu, 26 May 2016 15:27:50 +0200 |
haftmann |
corrected closure scope of static_conv_thingol;
|
file |
diff |
annotate
|
| Mon, 09 May 2016 14:37:47 +0200 |
wenzelm |
clarified context, notably for internal use of Simplifier;
|
file |
diff |
annotate
|
| Mon, 18 Apr 2016 20:56:18 +0200 |
haftmann |
fragment of a HOL type class primer
|
file |
diff |
annotate
|
| Thu, 09 Jul 2015 00:39:49 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 14:23:26 +0100 |
wenzelm |
modernized setup;
|
file |
diff |
annotate
|
| Wed, 01 Jan 2014 01:05:46 +0100 |
haftmann |
explicit distinction between empty code equations and no code equations, including convenient declaration attributes
|
file |
diff |
annotate
|
| Wed, 10 Apr 2013 15:30:19 +0200 |
wenzelm |
more standard module name Axclass (according to file name);
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|