src/HOL/MicroJava/DFA/Listn.thy
10 months ago paulson 2018-07-17 more de-applying
15 months ago wenzelm 2018-02-15 more symbols;
16 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2015-12-28 wenzelm 2015-12-28 prefer symbols for "Union", "Inter";
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-10-07 wenzelm 2015-10-07 isabelle update_cartouches;
2015-03-25 wenzelm 2015-03-25 prefer local fixes;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-08-13 kleing 2011-08-13 removed unused lemma; removed old-style ;
2011-03-29 wenzelm 2011-03-29 tuned headers;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-11 wenzelm 2010-02-11 modernized translations;
2009-11-24 haftmann 2009-11-24 backported parts of abstract byte code verifier from AFP/Jinja