isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

progtutorial.pdf

2010-08-13	Christian Urban	updated to new isabelle	file \| diff \| annotate
2010-07-28	Christian Urban	merged	file \| diff \| annotate
2010-07-28	Christian Urban	merged	file \| diff \| annotate
2010-07-28	Christian Urban	updated to new isabelle	file \| diff \| annotate
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-07-19	Christian Urban	updated for new isabelle	file \| diff \| annotate
2010-06-08	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2010-06-02	Christian Urban	tuned	file \| diff \| annotate
2010-06-02	Christian Urban	added something about raw_tactic	file \| diff \| annotate
2010-06-02	Christian Urban	added Andreas	file \| diff \| annotate
2010-06-02	Christian Urban	merged	file \| diff \| annotate
2010-05-31	schropp	tuning	file \| diff \| annotate
2010-05-31	schropp	some blabla about type classes, sorts, overloading, high level view on type classes	file \| diff \| annotate
2010-05-31	schropp	added some further ho-pat-unif examples but commented out (missing response check)	file \| diff \| annotate
2010-05-31	schropp	some more examples of ho-patterns	file \| diff \| annotate
2010-05-31	schropp	corrected def of ho-pat-unif, some extra hints about patterns	file \| diff \| annotate
2010-05-29	Christian Urban	tuned	file \| diff \| annotate
2010-05-29	Christian Urban	added example from Tobias and changed the title	file \| diff \| annotate
2010-05-27	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2010-05-24	Christian Urban	added phi for morphisms	file \| diff \| annotate
2010-05-17	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2010-05-17	Christian Urban	updated to new isabelle	file \| diff \| annotate
2010-04-26	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2010-04-24	Christian Urban	added a section to the introduction; described @{make_string}	file \| diff \| annotate
2010-04-07	Christian Urban	added something about ERROR and Fail	file \| diff \| annotate
2010-04-07	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2010-03-07	Christian Urban	updated to new isabelle	file \| diff \| annotate
2010-02-11	Christian Urban	typos fixed by Michael Norrish	file \| diff \| annotate
2010-02-05	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2010-01-14	Christian Urban	a bit more tuning	file \| diff \| annotate
2010-01-08	Christian Urban	polished	file \| diff \| annotate

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

isabelle-cookbook

RSS Atom