Tue, 21 Sep 2021 13:14:18 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Sun, 19 Sep 2021 21:55:11 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 19 Sep 2021 21:47:10 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Sun, 19 Sep 2021 21:37:14 +0200 |
wenzelm |
clarified signature -- prefer antiquotations (with subtle change of exception content);
|
file |
diff |
annotate
|
Sat, 11 Sep 2021 21:58:02 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Wed, 17 Aug 2011 18:05:31 +0200 |
wenzelm |
modernized signature of Term.absfree/absdummy;
|
file |
diff |
annotate
|
Mon, 20 Dec 2010 16:44:33 +0100 |
wenzelm |
proper identifiers for consts and types;
|
file |
diff |
annotate
|
Tue, 17 Aug 2010 19:36:39 +0200 |
haftmann |
more antiquotations
|
file |
diff |
annotate
|
Sat, 29 Aug 2009 12:01:25 +0200 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
Thu, 09 Jul 2009 22:09:58 +0200 |
wenzelm |
removed obsolete CVS Ids;
|
file |
diff |
annotate
|
Mon, 23 Jun 2008 15:51:37 +0200 |
wenzelm |
removed obsolete dest_concls;
|
file |
diff |
annotate
|
Thu, 04 Oct 2001 14:49:38 +0200 |
wenzelm |
added dest_conj, dest_concls;
|
file |
diff |
annotate
|
Fri, 03 Nov 2000 21:31:53 +0100 |
wenzelm |
removed atomic_Trueprop (now in Pure/Isar/auto_bind.ML);
|
file |
diff |
annotate
|
Tue, 05 Sep 2000 18:45:51 +0200 |
wenzelm |
added not;
|
file |
diff |
annotate
|