isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

progtutorial.pdf

2009-10-19	Christian Urban	completed section on theorems	file \| diff \| annotate
2009-10-19	Christian Urban	polished theorem section	file \| diff \| annotate
2009-10-18	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2009-10-18	Christian Urban	polished	file \| diff \| annotate
2009-10-14	Christian Urban	updated to Isabelle changes	file \| diff \| annotate
2009-10-14	Christian Urban	tuned	file \| diff \| annotate
2009-10-14	Christian Urban	slightly tuned	file \| diff \| annotate
2009-10-13	Christian Urban	tuned the ML-output mechanism; tuned slightly the text	file \| diff \| annotate
2009-10-12	Christian Urban	polished	file \| diff \| annotate
2009-10-11	Christian Urban	added structures in the index	file \| diff \| annotate
2009-10-11	Christian Urban	polished first chapter	file \| diff \| annotate
2009-10-11	Christian Urban	fixed glitch with tocibind	file \| diff \| annotate
2009-10-10	Christian Urban	more work on theorem section	file \| diff \| annotate
2009-10-10	Christian Urban	more work	file \| diff \| annotate
2009-10-10	Christian Urban	used a better implementation of \index in Latex; added more to the theorem section	file \| diff \| annotate
2009-10-10	Christian Urban	more on the theorem section	file \| diff \| annotate
2009-10-09	Christian Urban	a bit more work on the theorem section	file \| diff \| annotate
2009-10-08	Christian Urban	polished on the pretty printing section	file \| diff \| annotate
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-04	Christian Urban	tuned	file \| diff \| annotate
2009-10-03	Christian Urban	more work	file \| diff \| annotate
2009-10-03	Christian Urban	updated to new Isabelle; more work on the data section	file \| diff \| annotate
2009-10-02	Christian Urban	more work on the storing section	file \| diff \| annotate
2009-10-01	Christian Urban	more work on the tutorial	file \| diff \| annotate
2009-09-29	Christian Urban	started section about storing data	file \| diff \| annotate
2009-09-28	Christian Urban	updated foobar_proof example	file \| diff \| annotate
2009-09-27	Christian Urban	some polishing	file \| diff \| annotate
2009-08-24	Christian Urban	included some tests	file \| diff \| annotate

less more (0) -100 -50 -32 tip

isabelle-cookbook

RSS Atom