2009-11-21 wenzelm 2009-11-21 explicitly mark some legacy freeze operations;
2009-11-21 wenzelm 2009-11-21 minimal test of current repository version;
2009-11-21 wenzelm 2009-11-21 slightly longer log tail;
2009-11-21 kleing 2009-11-21 add explicit platform check to wwwfind tool explicit platform check to avoid calling external programs with strange parameters
2009-11-21 kleing 2009-11-21 adjusted help text
2009-11-21 kleing 2009-11-21 wwwfind support currently for Linux only
2009-11-20 huffman 2009-11-20 make repdef work without (open) option
2009-11-20 huffman 2009-11-20 NEWS: HOLCF changes since the last release
2009-11-20 wenzelm 2009-11-20 removed hard tabs from text (not pattern);
2009-11-20 wenzelm 2009-11-20 standardized headers;
2009-11-20 wenzelm 2009-11-20 provide standard isabelle make targets; slightly more accurate dependencies;
2009-11-20 wenzelm 2009-11-20 merged
2009-11-20 wenzelm 2009-11-20 load ML directly into theory Code_Generator (quickcheck also requires this);
2009-11-20 kleing 2009-11-20 made script executable
2009-11-20 kleing 2009-11-20 added NEWS item for wwwfind
2009-11-20 kleing 2009-11-20 WWW_Find component: find_theorems via web browser
2009-11-20 wenzelm 2009-11-20 merged
2009-11-20 nipkow 2009-11-20 merged
2009-11-20 nipkow 2009-11-20 Rene tuned proof
2009-11-20 huffman 2009-11-20 example theory for new domain package
2009-11-19 huffman 2009-11-19 thy_decl outer syntax for repdef
2009-11-19 huffman 2009-11-19 merged
2009-11-19 huffman 2009-11-19 nicer warning message for indirect-recursive domain definitions
2009-11-19 huffman 2009-11-19 store map_ID thms in theory data; automate proofs of reach lemmas
2009-11-19 huffman 2009-11-19 add map_ID lemmas
2009-11-19 huffman 2009-11-19 domain_isomorphism package defines combined copy function
2009-11-20 nipkow 2009-11-20 merged
2009-11-20 nipkow 2009-11-20 added Rene Thiemann's normalize function
2009-11-20 nipkow 2009-11-20 added lemma
2009-11-19 huffman 2009-11-19 merged
2009-11-19 huffman 2009-11-19 domain_isomorphism package defines copy functions
2009-11-19 huffman 2009-11-19 copy_of_dtyp uses map table from theory data
2009-11-19 huffman 2009-11-19 Domain.thy imports Representable.thy
2009-11-19 huffman 2009-11-19 fix definitions of copy combinators
2009-11-19 huffman 2009-11-19 clean up indentation; add 'definitional' option flag
2009-11-19 huffman 2009-11-19 rename generated abs_iso, rep_iso lemmas
2009-11-19 huffman 2009-11-19 clean up indentation
2009-11-19 huffman 2009-11-19 add dependency on domain_isomorphism.ML
2009-11-19 huffman 2009-11-19 set up domain_isomorphism package in Representable.thy
2009-11-19 huffman 2009-11-19 automate proofs of map_ID theorems
2009-11-19 huffman 2009-11-19 change Theory.requires
2009-11-19 huffman 2009-11-19 use theory data for REP_simps and isodefl_rules
2009-11-19 huffman 2009-11-19 replace defl_tab and map_tab with theory data
2009-11-19 huffman 2009-11-19 separate conjuncts of isodefl theorem
2009-11-19 huffman 2009-11-19 automate isodefl proof
2009-11-19 huffman 2009-11-19 change example to use recursion with continuous function space
2009-11-19 huffman 2009-11-19 add lemma isodefl_cprod
2009-11-19 huffman 2009-11-19 automate definition of map functions; remove unused code
2009-11-19 huffman 2009-11-19 change naming convention for deflation combinators
2009-11-19 huffman 2009-11-19 add new makefile dependencies
2009-11-19 huffman 2009-11-19 prove isomorphism and isodefl rules
2009-11-19 huffman 2009-11-19 avoid using csplit; define copy functions exactly like the current domain package
2009-11-19 huffman 2009-11-19 merged
2009-11-18 huffman 2009-11-18 remove one_typ and tr_typ; add abs/rep lemmas
2009-11-18 huffman 2009-11-18 automate definition of rep/abs functions
2009-11-18 huffman 2009-11-18 get rid of numbers on thy variables
2009-11-18 huffman 2009-11-18 automate proofs of REP equations
2009-11-18 huffman 2009-11-18 cleaned up; factored out fixed-point definition code
2009-11-18 huffman 2009-11-18 automate solution of domain equations
2009-11-20 Christian Urban 2009-11-20 removed fixme - quick-and-dirty flag is appropriate