isabelle: File revisions

src/HOL/Tools/SMT/smt_monomorph.ML

Fri, 12 Nov 2010 15:56:06 +0100	boehmes	dropped numerals from monomorphization blacklist (only particular numerals are builtin, all other numerals should be treated uninterpreted), this blacklist should contain only truely polymorphic builtin constants supported by SMT	file \| diff \| annotate
Mon, 08 Nov 2010 12:13:44 +0100	boehmes	better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures)	file \| diff \| annotate
Tue, 26 Oct 2010 11:39:26 +0200	boehmes	keep track of theorems initially given to SMT (even if they are rewritten); provide interface to filter theorems necessary for SMT proofs	file \| diff \| annotate
Fri, 24 Sep 2010 15:53:13 +0200	wenzelm	modernized structure Ord_List;	file \| diff \| annotate
Wed, 01 Sep 2010 15:33:59 +0200	haftmann	replaced Table.map' by Table.map	file \| diff \| annotate
Sat, 28 Aug 2010 16:14:32 +0200	haftmann	formerly unnamed infix equality now named HOL.eq	file \| diff \| annotate
Wed, 12 May 2010 23:54:02 +0200	boehmes	integrated SMT into the HOL image	file \| diff \| annotate

isabelle