Index of /key/thebook/examples/04ConstructionOfProofs

	Name	Last modified	Size	Description
	Parent Directory		-
	Fig4.5-rewritingRules.key	2006-12-23 12:45	716
	Fig4.7-assign.key	2006-12-23 12:45	665
	Sect4.4.2-optionalExpAxioms.key	2006-12-23 12:45	615
	Fig4.6-ifElseSplit.key	2006-12-23 12:45	526
	Fig4.4-firstOrderRules.key	2006-12-23 12:45	506
	Fig4.3-propositionalRules.key	2006-12-23 12:45	452
	Fig4.1-expAxioms.key	2006-12-23 12:45	361
	Fig4.2-expLemma.key	2006-12-23 12:45	335
	Fig4.10-instAll.key	2006-12-23 12:45	321