isabelle-cookbook: File revisions

ProgTutorial/Tactical.thy

2010-05-17	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2010-04-26	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2010-03-07	Christian Urban	updated to new isabelle	file \| diff \| annotate
2010-02-05	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2009-12-31	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2009-12-06	Christian Urban	polised	file \| diff \| annotate
2009-12-04	Christian Urban	polised the section about Subgoal.FOCUS	file \| diff \| annotate
2009-12-03	Christian Urban	tuned	file \| diff \| annotate
2009-12-02	Christian Urban	tunded	file \| diff \| annotate
2009-12-02	Christian Urban	implemented suggestion from Sascha	file \| diff \| annotate
2009-12-01	Christian Urban	improved section on conversions	file \| diff \| annotate
2009-11-25	Christian Urban	added RANGE	file \| diff \| annotate
2009-11-22	Christian Urban	updated to new Isabelle and clarified Skip_Proof	file \| diff \| annotate
2009-11-15	Christian Urban	added Skip_Proof.mk_thm and some pointers about concurrency	file \| diff \| annotate
2009-11-11	Christian Urban	tuned	file \| diff \| annotate

isabelle-cookbook