isabelle-cookbook: File revisions

ProgTutorial/Package/Ind_Code.thy

2010-08-22	Christian Urban	added something about Goal.prove_multi	file \| diff \| annotate
2010-07-28	Christian Urban	test	file \| diff \| annotate
2010-07-20	Christian Urban	partially moved from string_of_term to pretty_term	file \| diff \| annotate
2010-03-07	Christian Urban	updated to new isabelle	file \| diff \| annotate
2009-11-22	Christian Urban	updated to new Isabelle and clarified Skip_Proof	file \| diff \| annotate
2009-11-19	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2009-11-07	Christian Urban	added type work and updated to Isabelle and poly 5.3	file \| diff \| annotate
2009-11-01	Christian Urban	tuned index	file \| diff \| annotate
2009-10-25	Christian Urban	some polishing	file \| diff \| annotate
2009-10-13	Christian Urban	tuned the ML-output mechanism; tuned slightly the text	file \| diff \| annotate
2009-10-11	Christian Urban	fixed glitch with tocibind	file \| diff \| annotate
2009-10-05	Christian Urban	used rewrite_goal_tac (instead of rewrite_goals_tac)	file \| diff \| annotate
2009-10-03	Christian Urban	more work	file \| diff \| annotate
2009-09-27	Christian Urban	some polishing	file \| diff \| annotate

isabelle-cookbook