isabelle-cookbook: File revisions

CookBook/Solutions.thy

2009-02-27	Christian Urban	added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section	file \| diff \| annotate
2009-02-23	Christian Urban	polished	file \| diff \| annotate
2009-02-22	Christian Urban	polished the section about simprocs and added an exercise	file \| diff \| annotate
2009-01-26	Christian Urban	tuned	file \| diff \| annotate
2009-01-14	Christian Urban	added an antiquotation option [gray] for gray boxes around displays	file \| diff \| annotate
2009-01-14	Christian Urban	highligted the background of ML-code	file \| diff \| annotate
2008-12-16	Christian Urban	fixed typos	file \| diff \| annotate
2008-12-16	Christian Urban	added a para on Scan.unless and an exercise about scanning comments	file \| diff \| annotate
2008-10-30	Christian Urban	*hakked latex so that it does not display ML { }; general tuning*	file \| diff \| annotate
2008-10-13	berghofe	Tuned.	file \| diff \| annotate
2008-10-10	berghofe	Antiquotation setup is now contained in theory Base.	file \| diff \| annotate
2008-10-02	Christian Urban	added a solution section and some other minor additions	file \| diff \| annotate

isabelle-cookbook