Index of /ftp/hvg/contrib/HOLproof/Type

	Name	Last modified	Size	Description
	Parent Directory		-
	Type_convs.ml	1993-09-24 09:14	3.1K
	mk_Type1.ml	1993-09-24 09:14	5.6K
	mk_Type2.ml	1993-09-24 09:14	4.6K
	mk_Type3.ml	1993-09-24 09:14	8.3K