isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -16 tip

CookBook/Tactical.thy

2009-03-18	Christian Urban	made the Ackermann function example safer and included suggestions from MW	file \| diff \| annotate
2009-03-18	Christian Urban	some polishing	file \| diff \| annotate
2009-03-15	Christian Urban	adapted to latest Attrib.setup changes and more work on the simple induct chapter	file \| diff \| annotate
2009-03-13	Christian Urban	polishing	file \| diff \| annotate
2009-03-13	Christian Urban	some minor polishing	file \| diff \| annotate
2009-03-12	Christian Urban	used latex package boxedminipage	file \| diff \| annotate
2009-03-12	Christian Urban	improved the solution for the simproc/conversion exercise	file \| diff \| annotate
2009-03-12	boehmes	merged	file \| diff \| annotate
2009-02-26	boehmes	Corrected small mistake.	file \| diff \| annotate
2009-03-11	Christian Urban	improvments to the solutions suggested by Sacha B?hme	file \| diff \| annotate
2009-03-08	Christian Urban	removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive	file \| diff \| annotate
2009-03-06	Christian Urban	some additions to the simplifier section and general tuning	file \| diff \| annotate
2009-03-06	Christian Urban	rolled back the changes on the function warning and tracing	file \| diff \| annotate
2009-03-05	Christian Urban	redefined the functions warning and tracing in order to properly match more antiquotations	file \| diff \| annotate
2009-03-04	Christian Urban	removed infix_conv and moved function no_vars into the FirstSteps chapter	file \| diff \| annotate
2009-03-04	Christian Urban	added more to the simplifier section	file \| diff \| annotate

less more (0) -16 tip

isabelle-cookbook