src/HOL/HOLCF/IOA/meta_theory/Automata.thy
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-04-10 wenzelm 2013-04-10 added ML antiquotation @{theory_context};
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-08-08 huffman 2011-08-08 rename Pair_fst_snd_eq to prod_eq_iff (keeping old name too)
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2011-03-29 wenzelm 2011-03-29 tuned headers;
2011-01-08 huffman 2011-01-08 types -> type_synonym
2010-12-03 wenzelm 2010-12-03 recoded latin1 as utf8; use textcomp for some text symbols where it appears appropriate;
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;