isabelle: File revisions

src/HOL/Tools/Quickcheck/find_unused_assms.ML

Tue, 09 Apr 2013 15:29:25 +0200	wenzelm	discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems';	file \| diff \| annotate
Mon, 17 Dec 2012 15:05:22 +0100	wenzelm	more parallel find_unused_assms;	file \| diff \| annotate
Thu, 29 Nov 2012 17:12:51 +0100	wenzelm	simplified use of fold/map;	file \| diff \| annotate
Thu, 29 Nov 2012 16:59:53 +0100	wenzelm	tuned;	file \| diff \| annotate
Fri, 16 Mar 2012 18:20:12 +0100	wenzelm	outer syntax command definitions based on formal command_spec derived from theory header declarations;	file \| diff \| annotate
Mon, 27 Feb 2012 19:54:50 +0100	wenzelm	discontinued slightly odd built-in timing (cf. 53fd5cc685b4) -- the Isar toplevel does that already (e.g. via Toplevel.timing or Toplevel.profiling);	file \| diff \| annotate
Mon, 27 Feb 2012 17:39:34 +0100	wenzelm	prefer uniform Timing.message -- avoid assumption about sequential execution;	file \| diff \| annotate
Mon, 27 Feb 2012 16:56:25 +0100	wenzelm	more explicit Long_Name operations (NB: analyzing qualifiers is inherently fragile);	file \| diff \| annotate
Wed, 22 Feb 2012 17:22:53 +0100	bulwahn	adding new command "find_unused_assms"	file \| diff \| annotate

isabelle