isabelle: Changelog

haftmann [Wed, 02 Dec 2009 17:53:36 +0100] rev 33943

subst_signatures

haftmann [Wed, 02 Dec 2009 17:53:35 +0100] rev 33942

tuned

haftmann [Wed, 02 Dec 2009 17:53:35 +0100] rev 33941

exported build_tsig

haftmann [Wed, 02 Dec 2009 17:53:35 +0100] rev 33940

crude support for type aliasses and corresponding constant signatures

haftmann [Wed, 02 Dec 2009 17:53:34 +0100] rev 33939

generalized some lemmas

haftmann [Wed, 02 Dec 2009 17:53:34 +0100] rev 33938

added Crude_Executable_Set.thy

webertj [Tue, 01 Dec 2009 22:29:46 +0000] rev 33937

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 33936

Expand nested abbreviations before applying dummy patterns.

berghofe [Fri, 27 Nov 2009 16:26:23 +0100] rev 33935

Removed eq_to_mono2, added not_mono.

berghofe [Fri, 27 Nov 2009 16:26:04 +0100] rev 33934

Streamlined setup for monotonicity rules (no longer requires classical rules).

isabelle