isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

progtutorial.pdf

2010-10-29	Christian Urban	disabled foobar_prove; updated to new Isabelle	file \| diff \| annotate
2010-08-28	Christian Urban	a bit closer to the new conventions of naming HOL-constants	file \| diff \| annotate
2010-08-28	Christian Urban	updated to new isabelle	file \| diff \| annotate
2010-08-22	Christian Urban	added something about Goal.prove_multi	file \| diff \| annotate
2010-08-13	Christian Urban	tuned	file \| diff \| annotate
2010-08-13	Christian Urban	added an example to be used for conversions later on	file \| diff \| annotate
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

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

isabelle-cookbook

RSS Atom