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 |