isabelle: File revisions

src/HOL/Tools/SMT/smt_config.ML

Wed, 15 Dec 2010 08:39:24 +0100	boehmes	added option to enable trigger inference;	file \| diff \| annotate
Wed, 15 Dec 2010 08:39:24 +0100	boehmes	moved SMT classes and dictionary functions to SMT_Utils	file \| diff \| annotate
Wed, 15 Dec 2010 08:39:24 +0100	boehmes	added option to modify the random seed of SMT solvers	file \| diff \| annotate
Tue, 07 Dec 2010 14:53:12 +0100	boehmes	centralized handling of built-in types and constants;	file \| diff \| annotate
Wed, 17 Nov 2010 08:14:55 +0100	boehmes	keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)	file \| diff \| annotate
Fri, 12 Nov 2010 15:56:07 +0100	boehmes	look for certificates relative to the theory	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

isabelle