| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2015 09:21:15 +0200 |
haftmann |
prod_case as canonical name for product type eliminator
|
file |
diff |
annotate
|
| Sat, 20 Jun 2015 15:45:02 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Wed, 25 Mar 2015 10:44:57 +0100 |
wenzelm |
prefer local fixes;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 14:09:57 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2011 14:45:50 -0700 |
huffman |
make more HOL theories work with separate set type
|
file |
diff |
annotate
|
| Tue, 22 Feb 2011 17:06:14 +0100 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Wed, 12 May 2010 14:17:26 +0200 |
wenzelm |
removed obsolete CVS Ids;
|
file |
diff |
annotate
|
| Thu, 13 Aug 2009 17:19:42 +0100 |
paulson |
Removal of redundant settings of unification trace and search bounds.
|
file |
diff |
annotate
|
| Wed, 07 May 2008 10:57:19 +0200 |
berghofe |
Adapted to encoding of sets as predicates
|
file |
diff |
annotate
|
| Wed, 03 Oct 2007 19:49:33 +0200 |
wenzelm |
avoid unnamed infixes;
|
file |
diff |
annotate
|