isabelle-cookbook: File revisions

ProgTutorial/Recipes/Timing.thy

Fri, 17 May 2019 10:38:01 +0200	Norbert Schirmer	prefer cartouches over " in ML antiquotations	file \| diff \| annotate
Tue, 14 May 2019 17:10:47 +0200	Norbert Schirmer	isabelle update_cartouches -t	file \| diff \| annotate
Fri, 19 Apr 2013 11:09:18 +0100	Christian Urban	updated to simplifier change	file \| diff \| annotate
Thu, 07 Apr 2011 00:25:26 +0100	Christian Urban	Updated to changes in timing structure	file \| diff \| annotate
Fri, 29 Oct 2010 13:16:45 +0200	griff	'nat_number' was renamed to 'eval_nat_numeral'	file \| diff \| annotate
Tue, 13 Oct 2009 22:57:25 +0200	Christian Urban	tuned the ML-output mechanism; tuned slightly the text	file \| diff \| annotate
Wed, 15 Apr 2009 13:11:08 +0000	Christian Urban	replaced "warning" with "writeln"	file \| diff \| annotate
Thu, 19 Mar 2009 23:21:26 +0100	Christian Urban	polished some recipies	file \| diff \| annotate
Thu, 19 Mar 2009 13:28:16 +0100	Christian Urban	made more of the transition from "CookBook" to "ProgTutorial"	file \| diff \| annotate \| base

isabelle-cookbook