doc-src/IsarAdvanced/Functions/Thy/Functions.thy
2008-04-08 krauss 2008-04-08 Generic conversion and tactic "atomize_elim" to convert elimination rules to the object logic
2007-12-18 krauss 2007-12-18 temporarily fixed documentation due to changed size functions
2007-11-05 krauss 2007-11-05 changed "treemap" example to "mirror"
2007-10-19 krauss 2007-10-19 Updated function tutorial: Types can be inferred and need not be given anymore
2007-07-12 krauss 2007-07-12 updated
2007-06-01 krauss 2007-06-01 updated
2007-05-17 krauss 2007-05-17 updated
2007-01-15 krauss 2007-01-15 added sections on mutual induction and patterns
2006-11-13 krauss 2006-11-13 updated
2006-11-07 krauss 2006-11-07 Added a (stub of a) function tutorial