Index of /pub/dcurtis-temp/lptest/lp3.1b/html/proof

	Name	Last modified	Size	Description
	Parent Directory		-
	multilevel-induction.tex	1994-12-05 13:28	3.5K
	backward.tex	1994-12-30 13:27	3.2K
	forward.tex	1995-01-04 20:27	2.8K
	methods.tex	1994-12-05 13:28	2.3K
	by-cases.tex	1994-12-05 13:25	2.0K
	structural.tex	1995-01-04 20:27	1.9K
	of-implication.tex	1994-12-05 13:31	1.5K
	of-ir.tex	1994-12-05 13:31	1.5K
	Makefile.bak	1998-06-09 11:08	1.5K
	Makefile	1998-06-09 11:08	1.5K
	by-generalization.tex	1994-12-06 14:49	1.4K
	by-induction.tex	1994-12-05 13:26	1.3K
	of-conditional.tex	1994-12-05 13:29	1.3K
	by-consistency.tex	1994-12-08 12:06	1.1K
	Index.html	1998-06-09 11:08	1.0K
	by-normalization.tex	1994-12-28 17:08	1.0K
	of-biconditional.tex	1994-12-05 13:30	1.0K
	by-specialization.tex	1994-12-06 14:49	970
	by-contradiction.tex	1994-12-05 13:25	914
	of-dr.tex	1994-12-05 13:30	887
	explicit.tex	1994-12-05 13:27	871
	of-conjunction.tex	1994-12-05 13:30	843
	well-founded.tex	1994-11-29 17:15	657
	of-ot.tex	1994-12-05 13:31	444