Index of /pub/dcurtis-temp/lptest/lp3.1b/help/misc

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	1994-12-28 17:32	79
	abbreviation.tex	1994-12-05 12:16	1.3K
	class.tex	1994-12-08 13:25	2.3K
	command-arguments.tex	1994-12-08 13:26	1.5K
	command-line.tex	1994-12-05 13:50	1.1K
	conjecture.tex	1994-12-05 12:18	338
	hints.tex	1994-12-08 13:37	502
	hints_formalizing.tex	1994-12-08 13:29	1.9K
	hints_io.tex	1994-12-08 13:28	1.6K
	hints_ordering.tex	1994-12-05 15:38	2.4K
	hints_proofs.tex	1994-12-05 15:37	4.1K
	hints_speed.tex	1994-12-05 12:20	1.4K
	name.tex	1994-12-08 11:01	2.5K
	names.tex	1994-12-05 12:21	2.1K
	naming.tex	1994-12-30 14:23	221
	philosophy.tex	1994-12-05 12:22	1.6K
	sample.tex	1995-01-04 20:25	928
	sample_assert.tex	1995-01-03 09:22	1.5K
	sample_axioms.tex	1995-01-04 20:33	1.3K
	sample_axioms1.tex	1995-01-03 09:15	1.2K
	sample_conjectures.tex	1995-01-03 09:40	1.2K
	sample_declare.tex	1995-01-03 08:47	1.5K
	sample_guidance.tex	1995-01-03 13:53	1.6K
	sample_proof1.tex	1995-01-03 13:18	1.8K
	sample_proof2.tex	1995-01-03 13:19	1.3K
	sample_proof3.tex	1995-01-03 13:19	2.3K
	sample_proof4.tex	1995-01-03 13:19	4.7K
	sample_proof5.tex	1995-01-03 13:22	1.7K
	sample_proof6.tex	1995-01-03 13:35	1.2K
	sample_start.tex	1995-01-03 08:59	1.3K
	subgoal.tex	1994-12-05 12:22	248