src/HOL/HOLCF/IOA/meta_theory/Automata.thy
Sun, 02 Nov 2014 17:16:01 +0100 wenzelm modernized header;
Wed, 10 Apr 2013 17:02:47 +0200 wenzelm added ML antiquotation @{theory_context};
Sun, 20 Nov 2011 21:07:06 +0100 wenzelm eliminated obsolete "standard";
Mon, 08 Aug 2011 10:32:55 -0700 huffman rename Pair_fst_snd_eq to prod_eq_iff (keeping old name too)
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Tue, 29 Mar 2011 17:47:11 +0200 wenzelm tuned headers;
Sat, 08 Jan 2011 09:30:52 -0800 huffman types -> type_synonym
Fri, 03 Dec 2010 20:38:58 +0100 wenzelm recoded latin1 as utf8;
Sat, 27 Nov 2010 16:08:10 -0800 huffman moved directory src/HOLCF to src/HOL/HOLCF;
less more (0) tip