Fun.thy
changeset 115 0ec63df3ae04
equal deleted inserted replaced
114:b7f57e0ab47c 115:0ec63df3ae04
       
     1 (*  Title: 	HOL/Fun.thy
       
     2     ID:         $Id$
       
     3     Author: 	Tobias Nipkow, Cambridge University Computer Laboratory
       
     4     Copyright   1994  University of Cambridge
       
     5 
       
     6 Lemmas about functions.
       
     7 *)
       
     8 
       
     9 Fun = Set