src/HOL/Fun.thy
Fri, 16 Mar 2007 21:32:09 +0100 haftmann moved lattice instance here
Wed, 27 Dec 2006 19:09:55 +0100 haftmann explizit serialization for Haskell id
Mon, 18 Dec 2006 08:21:26 +0100 haftmann infix syntax for generated code for composition
Mon, 27 Nov 2006 13:42:39 +0100 haftmann moved order arities for fun and bool to Fun/Orderings
less more (0) -30 -10 -4 tip