[isabelle] Set of functions



Hello,


how do you denote the set of all functions from nat to nat?


what about the set of all partial functions from nat to nat?


Thank you!
 		 	   		  


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.