isabelle: File revisions

src/HOL/Tools/ATP/atp_systems.ML

Wed, 18 Dec 2013 16:50:14 +0100	blanchet	made SML/NJ happier	file \| diff \| annotate
Tue, 17 Dec 2013 14:03:29 +0100	blanchet	primitive support for SPASS-Pirate (Daniel Wand's polymorphic SPASS prototype)	file \| diff \| annotate
Thu, 24 Oct 2013 12:43:33 +0200	blanchet	use definitions for LEO-II as well -- this simplifies the code and matches some users' expectations	file \| diff \| annotate
Thu, 12 Sep 2013 22:10:57 +0200	blanchet	prefixed types and some functions with "atp_" for disambiguation	file \| diff \| annotate
Wed, 11 Sep 2013 09:50:48 +0200	blanchet	adjusted number of generated monomorphic instances for new monomorphizer based on new evaluation (E, SPASS, Vampire)	file \| diff \| annotate
Wed, 28 Aug 2013 18:44:50 +0200	blanchet	got rid of old error -- users who install SPASS manually are responsible for any version mismatches	file \| diff \| annotate
Tue, 13 Aug 2013 10:26:56 +0200	blanchet	Vampire 3.0 requires types to be declared -- make it happy (and get rid of "implicit" types since only Satallax seems to support them anymore)	file \| diff \| annotate

isabelle