haftmann [Wed, 02 Dec 2009 17:53:44 +0100] rev 33910
merged
haftmann [Wed, 02 Dec 2009 17:53:36 +0100] rev 33909
subst_signatures
haftmann [Wed, 02 Dec 2009 17:53:35 +0100] rev 33908
tuned
haftmann [Wed, 02 Dec 2009 17:53:35 +0100] rev 33907
exported build_tsig
haftmann [Wed, 02 Dec 2009 17:53:35 +0100] rev 33906
crude support for type aliasses and corresponding constant signatures
haftmann [Wed, 02 Dec 2009 17:53:34 +0100] rev 33905
generalized some lemmas
haftmann [Wed, 02 Dec 2009 17:53:34 +0100] rev 33904
added Crude_Executable_Set.thy
webertj [Tue, 01 Dec 2009 22:29:46 +0000] rev 33903
read_dimacs_cnf_file can now read DIMACS files that contain successive
white-space characters.
kleing [Sun, 29 Nov 2009 12:56:30 +1100] rev 33902
Expand nested abbreviations before applying dummy patterns.
berghofe [Fri, 27 Nov 2009 16:26:23 +0100] rev 33901
Removed eq_to_mono2, added not_mono.