2010-08-20 wenzelm 2010-08-20 further clarification/unification of Position.Range and Text.Range concerning singularities: start offset is always included;
2010-08-19 wenzelm 2010-08-19 parameterized type Markup_Tree.Node; Markup_Tree.select: allow arbitrary interpretations, not just filtering; renamed Text.Range.intersect to Text.Range.restrict -- emphasize that it is not directly related to contains/overlaps;
2010-08-19 wenzelm 2010-08-19 added toString methods;
2010-08-19 wenzelm 2010-08-19 misc tuning and simplification;
2010-08-19 wenzelm 2010-08-19 updated some isatest settings;
2010-08-19 wenzelm 2010-08-19 added generated file;
2010-08-19 wenzelm 2010-08-19 merged
2010-08-19 haftmann 2010-08-19 tuned quotes
2010-08-19 haftmann 2010-08-19 more antiquotations
2010-08-19 haftmann 2010-08-19 deglobalized named HOL constants
2010-08-19 haftmann 2010-08-19 deglobalized named HOL constants
2010-08-19 haftmann 2010-08-19 corrected some long-overseen misperceptions in recdef
2010-08-19 haftmann 2010-08-19 use HOLogic.boolT and @{typ bool} more pervasively
2010-08-19 haftmann 2010-08-19 tuned
2010-08-19 haftmann 2010-08-19 some more antiquotations
2010-08-19 haftmann 2010-08-19 tuned
2010-08-19 haftmann 2010-08-19 use antiquotations for remaining unqualified constants in HOL
2010-08-19 haftmann 2010-08-19 tuned
2010-08-19 haftmann 2010-08-19 tuned declaration order
2010-08-18 haftmann 2010-08-18 merged
2010-08-18 haftmann 2010-08-18 NEWS
2010-08-18 haftmann 2010-08-18 re-added instantiation of type class random for records
2010-08-18 haftmann 2010-08-18 tuned signature and code
2010-08-18 haftmann 2010-08-18 adjusted to restored naming convention of logical record types
2010-08-18 haftmann 2010-08-18 robustified proof
2010-08-18 haftmann 2010-08-18 adjusted to changed naming convention of logical record types
2010-08-18 haftmann 2010-08-18 removed separate quickcheck_record module
2010-08-18 haftmann 2010-08-18 liberal instantiation of class eq; tuned naming scheme
2010-08-18 haftmann 2010-08-18 more helpful NEWS entry
2010-08-17 haftmann 2010-08-17 dropped SML typedef_codegen: does not fit to code equations for record operations any longer
2010-08-17 haftmann 2010-08-17 preemptive NEWS
2010-08-17 haftmann 2010-08-17 tuned code
2010-08-17 haftmann 2010-08-17 use extension constant as formal constructor of logical record type
2010-08-17 haftmann 2010-08-17 deleted typecopy package
2010-08-17 haftmann 2010-08-17 authentic syntax allows simplification of type names
2010-08-17 haftmann 2010-08-17 dropped make_/dest_ naming convention
2010-08-17 haftmann 2010-08-17 formally integrated typecopy layer into record package
2010-08-17 haftmann 2010-08-17 eliminated typecopy interpretation
2010-08-18 haftmann 2010-08-18 moved spurious auxiliary lemma here
2010-08-18 haftmann 2010-08-18 tuned proof
2010-08-18 haftmann 2010-08-18 qualified constants Let and If
2010-08-18 haftmann 2010-08-18 NEWS
2010-08-18 haftmann 2010-08-18 merged
2010-08-18 haftmann 2010-08-18 deglobalization
2010-08-18 blanchet 2010-08-18 merged
2010-08-18 blanchet 2010-08-18 merged
2010-08-18 blanchet 2010-08-18 rename enum values
2010-08-18 blanchet 2010-08-18 handle bound name conflicts gracefully in FOF translation
2010-08-18 blanchet 2010-08-18 with Kodkodi 1.2.15, Java 1.5 is fine
2010-08-18 blanchet 2010-08-18 gracefully handle the case where the JVM is too old in Nitpick
2010-08-18 blanchet 2010-08-18 improve SPASS clause numbering hack
2010-08-18 haftmann 2010-08-18 deglobalization
2010-08-18 haftmann 2010-08-18 more antiquotations
2010-08-18 haftmann 2010-08-18 added equality instantiation
2010-08-18 haftmann 2010-08-18 use command_def more consciously
2010-08-18 haftmann 2010-08-18 stub for evaluation chapter
2010-08-18 haftmann 2010-08-18 updated generated document
2010-08-18 haftmann 2010-08-18 dropped errorneous underscore
2010-08-18 haftmann 2010-08-18 output whitespace tuning
2010-08-18 haftmann 2010-08-18 use command_def