isabelle: File revisions

src/HOL/Codegenerator_Test/Candidates.thy

Sun, 02 Nov 2014 18:21:45 +0100	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
Tue, 21 Oct 2014 21:10:44 +0200	haftmann	turn even into an abbreviation	file \| diff \| annotate
Tue, 14 Oct 2014 08:23:23 +0200	haftmann	purely algebraic characterization of even and odd	file \| diff \| annotate
Sun, 17 Feb 2013 21:29:30 +0100	haftmann	Sieve of Eratosthenes	file \| diff \| annotate
Fri, 15 Feb 2013 11:47:34 +0100	haftmann	attempt to re-establish conventions which theories are loaded into the grand unified library theory;	file \| diff \| annotate
Fri, 15 Feb 2013 11:47:33 +0100	haftmann	systematic conversions between nat and nibble/char;	file \| diff \| annotate
Wed, 29 Aug 2012 10:27:56 +0900	Christian Sternagel	renamed theory List_Prefix into Sublist (since it is not only about prefixes)	file \| diff \| annotate
Thu, 03 Mar 2011 15:46:02 +0100	wenzelm	modernized imports;	file \| diff \| annotate
Fri, 02 Jul 2010 14:23:18 +0200	haftmann	introduced distinct session HOL-Codegenerator_Test	file \| diff \| annotate \| base

isabelle