isabelle: File revisions

src/Pure/Proof/proof_checker.ML

Fri, 26 Jul 2019 09:35:02 +0200	wenzelm	defer rew_proof on unnamed PThm node as open_proof operation: significant performance improvement;	file \| diff \| annotate
Sun, 05 Jul 2015 15:02:30 +0200	wenzelm	simplified Thm.instantiate and derivatives: the LHS refers to non-certified variables -- this merely serves as index into already certified structures (or is ignored);	file \| diff \| annotate
Fri, 06 Mar 2015 15:58:56 +0100	wenzelm	Thm.cterm_of and Thm.ctyp_of operate on local context;	file \| diff \| annotate
Wed, 04 Mar 2015 19:53:18 +0100	wenzelm	tuned signature -- prefer qualified names;	file \| diff \| annotate
Wed, 26 Nov 2014 20:05:34 +0100	wenzelm	renamed "pairself" to "apply2", in accordance to @{apply 2};	file \| diff \| annotate
Sat, 15 Mar 2014 11:59:18 +0100	wenzelm	tuned signature;	file \| diff \| annotate
Mon, 19 Sep 2011 23:34:22 +0200	wenzelm	fixed headers;	file \| diff \| annotate
Mon, 08 Aug 2011 21:11:10 +0200	wenzelm	modernized file proof_checker.ML;	file \| diff \| annotate \| base

isabelle