isabelle: File revisions

src/HOL/Library/refute.ML

Mon, 03 Mar 2014 22:33:22 +0100	blanchet	support 'datatype_new'-defined datatypes in Nitpick + better support for 'codatatype's	file \| diff \| annotate
Sat, 15 Feb 2014 21:09:48 +0100	wenzelm	removed odd comments -- inferred types are shown by Prover IDE;	file \| diff \| annotate
Wed, 12 Feb 2014 08:35:56 +0100	blanchet	repaired hard-coded constant names	file \| diff \| annotate
Sun, 15 Dec 2013 19:01:06 +0100	blanchet	use 'prop' rather than 'bool' systematically in Isar reconstruction code	file \| diff \| annotate
Thu, 21 Nov 2013 21:33:34 +0100	blanchet	compile	file \| diff \| annotate
Wed, 10 Apr 2013 15:30:19 +0200	wenzelm	more standard module name Axclass (according to file name);	file \| diff \| annotate
Wed, 27 Mar 2013 17:58:07 +0100	wenzelm	more robust access Toplevel.proof_of -- prefer warning via Toplevel.unknown_proof over hard crash (notably for skipped proofs);	file \| diff \| annotate
Fri, 14 Dec 2012 16:33:22 +0100	wenzelm	updated some headers;	file \| diff \| annotate
Wed, 31 Oct 2012 11:23:21 +0100	blanchet	moved Refute to "HOL/Library" to speed up building "Main" even more	file \| diff \| annotate \| base

isabelle