Index of /~logik/download/proofgeneral/plastic

	Name	Last modified	Size	Description
	Parent Directory		-
	plastic.el	2008-04-03 15:56	23K
	plastic-syntax.el	2008-04-03 15:56	4.4K
	test.lf	2008-04-03 15:56	1.2K
	README	2008-04-03 15:56	292