isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

ProgTutorial/Tactical.thy

2009-10-07	Christian Urban	reorganised the certified terms section; tuned	file \| diff \| annotate
2009-10-07	Christian Urban	tuned	file \| diff \| annotate
2009-10-06	Christian Urban	added fixme	file \| diff \| annotate
2009-10-06	Christian Urban	added the function unabs_def in the conversions section	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-08-21	Christian Urban	split up the first-steps section into two chapters	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-20	Christian Urban	polished	file \| diff \| annotate
2009-08-19	Christian Urban	polished the exercises about constructing terms	file \| diff \| annotate
2009-08-16	Christian Urban	improvements from the workshop	file \| diff \| annotate
2009-08-13	Christian Urban	suggestions by Peter Homeier	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-04	Christian Urban	added an antiquotation for printing the raw proof state; polished the example about proof state	file \| diff \| annotate
2009-08-03	Christian Urban	tuned	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-08-01	Christian Urban	some general polishing	file \| diff \| annotate
2009-07-30	Christian Urban	made changes for SUBPROOF and sat_tac	file \| diff \| annotate
2009-07-28	Christian Urban	added more to the ML-antiquotation section	file \| diff \| annotate
2009-07-27	Christian Urban	polished the section on conversions	file \| diff \| annotate
2009-07-26	Christian Urban	adapted to changes in Isabelle	file \| diff \| annotate
2009-07-22	griff	typo	file \| diff \| annotate

less more (0) -24 tip

isabelle-cookbook

RSS Atom