isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

ProgTutorial/Package/Ind_Code.thy

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
2009-08-20	Christian Urban	further polishing of index generation	file \| diff \| annotate
2009-08-20	Christian Urban	simplified a bit the index generation	file \| diff \| annotate
2009-08-05	Christian Urban	added a comment for printing out information and tuned some examples accordingly	file \| diff \| annotate
2009-08-03	Christian Urban	replaced "writeln" with "tracing"	file \| diff \| annotate
2009-08-02	Christian Urban	updated to Isabelle changes and merged sections in the FirstSteps chapter	file \| diff \| annotate
2009-07-30	Christian Urban	polished the package chapter used FOCUS to explain the subproofs	file \| diff \| annotate
2009-07-30	Christian Urban	made changes for SUBPROOF and sat_tac	file \| diff \| annotate
2009-05-30	Christian Urban	added some first index-information	file \| diff \| annotate
2009-05-17	Christian Urban	some polishing; added together with Jasmin more examples to the pretty printing section	file \| diff \| annotate
2009-04-15	Christian Urban	replaced "warning" with "writeln"	file \| diff \| annotate
2009-04-11	Christian Urban	very slight polishing to the simple inductive chapter	file \| diff \| annotate
2009-04-01	Christian Urban	finished the heavy duty stuff for the inductive package	file \| diff \| annotate
2009-04-01	Christian Urban	more work on the simple inductive chapter	file \| diff \| annotate
2009-03-31	Christian Urban	started to adapt the rest of chapter 5 to the simplified version without parameters (they will be described in the extension section)	file \| diff \| annotate
2009-03-31	Christian Urban	used antiquotations	file \| diff \| annotate

less more (0) -28 tip

isabelle-cookbook

RSS Atom