| 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
|
| Sun, 26 Nov 2017 21:08:32 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2017 11:52:28 +0200 |
wenzelm |
proper imports;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Mon, 01 Jun 2015 18:59:20 +0200 |
haftmann |
correct sort constraints for abbreviations in type classes
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
| Thu, 23 Jan 2014 14:33:54 +0100 |
hoelzl |
hide extended.Fin in code generator output
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 10:05:53 +0100 |
haftmann |
eliminiated neg_numeral in favour of - (numeral _)
|
file |
diff |
annotate
|
| Fri, 06 Sep 2013 10:56:40 +0200 |
noschinl |
use case_of_simps
|
file |
diff |
annotate
|
| Wed, 06 Mar 2013 14:10:07 +0100 |
nipkow |
added lemma
|
file |
diff |
annotate
|
| Wed, 06 Mar 2013 12:17:52 +0100 |
nipkow |
extended numerals
|
file |
diff |
annotate
|
| Tue, 05 Mar 2013 15:26:57 +0100 |
nipkow |
New theory of infinity-extended types; should replace Extended_xyz eventually
|
file |
diff |
annotate
|