Index of /~patrikj/poly/unify/PolyPUnification/polyp/examples

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	1998-08-18 11:22	2.1K
	Separate.phs	1998-08-18 11:22	2.6K
	Show.phs	1998-08-18 11:22	2.2K
	Substructures.phs	1998-08-18 11:22	215
	contents.txt	1998-08-18 11:22	850
	pre.gs	1998-08-18 11:22	67
	stub.phs	1998-08-18 11:22	157
	testBaseM.out	1998-08-18 11:22	13
	testBaseM.phs	1998-08-18 11:22	251
	testConstructorName.out	1998-08-18 11:22	16
	testConstructorName.phs	1998-08-18 11:22	225
	testCrush.out	1998-08-18 11:22	17
	testCrush.phs	1998-08-18 11:22	241
	testEqOrd.out	1998-08-18 11:22	12
	testEqOrd.phs	1998-08-18 11:22	140
	testEqual.out	1998-08-18 11:22	14
	testEqual.phs	1998-08-18 11:22	255
	testFlatten.out	1998-08-18 11:22	21
	testFlatten.phs	1998-08-18 11:22	260
	testPropagate.out	1998-08-18 11:22	14
	testPropagate.phs	1998-08-18 11:22	146
	testShow.out	1998-08-18 11:22	46
	testShow.phs	1998-08-18 11:22	1.0K
	testSubstructures.out	1998-08-18 11:22	64
	testSubstructures.phs	1998-08-18 11:22	307
	testSum.out	1998-08-18 11:22	2
	testSum.phs	1998-08-18 11:22	86
	testThread.out	1998-08-18 11:22	122
	testThread.phs	1998-08-18 11:22	207
	testZip.out	1998-08-18 11:22	66
	testZip.phs	1998-08-18 11:22	186