phase5 « test - felix.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	exact-application-missing.tex	93	log plain
-rw-r--r--	exact-application.tex	339	log plain
-rw-r--r--	exact-contextual-abbreviation-ambiguous.tex	548	log plain
-rw-r--r--	exact-contextual-abbreviation-consumer.tex	428	log plain
-rw-r--r--	exact-contextual-abbreviation-missing.tex	195	log plain
-rw-r--r--	exact-contextual-abbreviation.tex	1724	log plain
-rw-r--r--	exact-contradiction-goal.tex	165	log plain
-rw-r--r--	exact-contradiction.tex	176	log plain
-rw-r--r--	exact-datatype-nested.tex	259	log plain
-rw-r--r--	exact-datatype.tex	392	log plain
-rw-r--r--	exact-escape-consumer.tex	960	log plain
-rw-r--r--	exact-escape-producer.tex	241	log plain
-rw-r--r--	exact-failure.tex	244	log plain
-rw-r--r--	exact-finite-set.tex	306	log plain
-rw-r--r--	exact-importer.tex	167	log plain
-rw-r--r--	exact-induction-nested.tex	297	log plain
-rw-r--r--	exact-inductive-nested.tex	334	log plain
-rw-r--r--	exact-inductive-recursive.tex	390	log plain
-rw-r--r--	exact-inductive.tex	278	log plain
-rw-r--r--	exact-local-definition-failure.tex	193	log plain
-rw-r--r--	exact-local-definition.tex	379	log plain
-rw-r--r--	exact-local-function-failure.tex	207	log plain
-rw-r--r--	exact-local-function.tex	455	log plain
-rw-r--r--	exact-omitted.tex	384	log plain
-rw-r--r--	exact-producer.tex	335	log plain
-rw-r--r--	exact-proof-failure.tex	338	log plain
-rw-r--r--	exact-proof-local-free.tex	203	log plain
-rw-r--r--	exact-proof-parity-invalid-assume.tex	169	log plain
-rw-r--r--	exact-proof-parity-invalid-fix-shape.tex	153	log plain
-rw-r--r--	exact-proof-parity-invalid-fix.tex	186	log plain
-rw-r--r--	exact-proof-parity.tex	2560	log plain
-rw-r--r--	exact-proofs.tex	1059	log plain
-rw-r--r--	exact-quantified-subject-nested.tex	224	log plain
-rw-r--r--	exact-quantified-subject.tex	258	log plain
-rw-r--r--	exact-relation-expression-missing-pair.tex	110	log plain
-rw-r--r--	exact-relation-expression.tex	245	log plain
-rw-r--r--	exact-replacement.tex	361	log plain
-rw-r--r--	exact-runtime-failure.tex	326	log plain
-rw-r--r--	exact-separation.tex	369	log plain
-rw-r--r--	exact-set-marker.tex	249	log plain
-rw-r--r--	exact-source-axiom-assumptions.tex	151	log plain
-rw-r--r--	exact-source-axiom.tex	92	log plain
-rw-r--r--	exact-structure-child.tex	255	log plain
-rw-r--r--	exact-structure.tex	2041	log plain
-rw-r--r--	unmatched-proof.tex	39	log plain