Index of /pub/ATP_problems/logic.problems/morgan

	Name	Last modified	Size	Description
	Parent Directory		-
	morgan.two.ver1.out	1990-03-24 10:48	3.1K
	morgan.two.ver1.in	1990-03-24 10:48	1.0K
	morgan.two.ver1.clauses	1990-03-24 10:48	1.0K
	morgan.two.desc	1990-03-24 10:48	917
	morgan.three.ver2.out	1990-03-24 10:48	2.7K
	morgan.three.ver2.in	1990-03-24 10:48	1.1K
	morgan.three.ver2.clauses	1990-03-24 10:48	1.1K
	morgan.three.ver1.out	1990-03-24 10:48	2.7K
	morgan.three.ver1.in	1990-03-24 10:48	1.2K
	morgan.three.ver1.clauses	1990-03-24 10:48	1.1K
	morgan.three.desc	1990-03-24 10:48	1.3K
	morgan.six.ver1.out	1990-03-24 10:48	156
	morgan.six.ver1.in	1990-03-24 10:48	957
	morgan.six.ver1.clauses	1990-03-24 10:48	903
	morgan.six.desc	1990-03-24 10:48	884
	morgan.one.ver1.out	1990-03-24 10:48	2.8K
	morgan.one.ver1.in	1990-03-24 10:48	1.0K
	morgan.one.ver1.clauses	1990-03-24 10:48	915
	morgan.one.desc	1990-03-24 10:48	870
	morgan.four.ver1.out	1990-03-24 10:48	3.1K
	morgan.four.ver1.in	1990-03-24 10:48	1.0K
	morgan.four.ver1.clauses	1990-03-24 10:48	1.0K
	morgan.four.desc	1990-03-24 10:48	924
	morgan.five.ver2.out	1990-03-24 10:48	157
	morgan.five.ver2.in	1990-03-24 10:48	1.0K
	morgan.five.ver2.clauses	1990-03-24 10:48	1.0K
	morgan.five.ver1.out	1990-03-24 10:48	3.0K
	morgan.five.ver1.in	1990-03-24 10:48	1.0K
	morgan.five.ver1.clauses	1990-03-24 10:48	925
	morgan.five.desc	1990-03-24 10:48	1.3K
	README	1990-03-24 10:48	2.5K