| Sat, 30 Dec 2023 21:35:00 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 18 Oct 2023 15:13:52 +0200 |
wenzelm |
clarified signature: more concise variations on implicit theory setup;
|
file |
diff |
annotate
|
| Tue, 18 Apr 2023 12:23:37 +0200 |
wenzelm |
backout 4a174bea55e2;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2023 23:32:46 +0200 |
wenzelm |
revert b43ee37926a9 due to problems with AFP/PAPP_Impossibility;
|
file |
diff |
annotate
|
| Mon, 10 Apr 2023 22:38:18 +0200 |
wenzelm |
performance tuning: replace Ord_List by Set();
|
file |
diff |
annotate
|
| Tue, 28 Mar 2023 17:59:54 +0200 |
wenzelm |
prefer Sortset.T for shyps;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Tue, 05 Apr 2016 17:25:11 +0200 |
wenzelm |
prefer antiquotations;
|
file |
diff |
annotate
|
| Fri, 28 Aug 2015 11:53:09 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 16 Aug 2015 18:19:30 +0200 |
wenzelm |
prefer theory_id operations;
|
file |
diff |
annotate
|
| Mon, 01 Jun 2015 18:07:36 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
| Fri, 06 Mar 2015 15:58:56 +0100 |
wenzelm |
Thm.cterm_of and Thm.ctyp_of operate on local context;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2015 22:05:01 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2015 19:53:18 +0100 |
wenzelm |
tuned signature -- prefer qualified names;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2014 10:52:46 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 21 Mar 2014 20:33:56 +0100 |
wenzelm |
more qualified names;
|
file |
diff |
annotate
|
| Tue, 30 Jul 2013 15:09:25 +0200 |
wenzelm |
type theory is purely value-oriented;
|
file |
diff |
annotate
|
| Fri, 13 Apr 2012 14:00:26 +0200 |
wenzelm |
updated headers;
|
file |
diff |
annotate
|
| Sat, 17 Mar 2012 12:52:40 +0100 |
wenzelm |
renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;
|
file |
diff |
annotate
| base
|