doc-src/IsarAdvanced/Functions/Thy/Functions.thy
Fri, 30 May 2008 17:03:37 +0200 krauss Updated function tutorial.
Fri, 25 Apr 2008 16:28:06 +0200 krauss * New attribute "termination_simp": Simp rules for termination proofs
less more (0) -10 -2 tip