src/HOL/Quickcheck_Examples/Hotel_Example.thy
2016-05-28 wenzelm 2016-05-28 clarified axiomatization;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-03 blanchet 2014-09-03 use 'datatype_new' in Quickcheck examples
2014-07-11 Andreas Lochbihler 2014-07-11 reactivate session Quickcheck_Examples
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-02-25 wenzelm 2013-02-25 prefer stateless 'ML_val' for tests;
2013-02-15 haftmann 2013-02-15 two target language numeral types: integer and natural, as replacement for code_numeral; former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral; refined stack of theories implementing int and/or nat by target language numerals; reduced number of target language numeral types to exactly one
2012-07-13 bulwahn 2012-07-13 fixed typo
2012-07-09 bulwahn 2012-07-09 adding the hotel key card example in Quickcheck-Examples