Index of /legacy/files/ciao/ciao-1.10p8-src/lib/regtypes

	Name	Last modified	Size	Description
	regtypes.pl	2004-12-07 01:31	392
	regtypes_doc.pl	2004-12-06 02:25	3.2K
	regtypes_tr.pl	2004-12-05 18:16	2.4K
	regular_type_syntax	2004-12-05 18:16	2.9K
	writing_props	2004-12-05 18:16	8.0K