| dependencies | |||
| 10.12.prf | |||
| 21helper.prf | |||
| 26helper.prf | |||
| 3.5b.prf | |||
| 3.6a.prf | |||
| 3.6b.prf | |||
| 3.7a.prf | |||
| 3.7b.prf | |||
| 30helper.prf | |||
| 35helper.prf | |||
| 4.19.prf | |||
| 5-line.prf | |||
| 8.2.prf | |||
| 8.3.prf | |||
| 8.7.prf | |||
| 9.5.prf | |||
| 9.5a.prf | |||
| 9.5b.prf | |||
| ABCequalsCBA.prf | |||
| Analyze.php | |||
| Axioms.php | |||
| CheckProofs.php | |||
| Definitions.txt | |||
| EFreflexive.prf | |||
| ETandEF.txt | |||
| ETreflexive.prf | |||
| Euclid.php | |||
| Euclid4.prf | |||
| Formalize.php | |||
| FreekFiles.php | |||
| MakeAppendix (Michael Beeson's conflicted copy 2017-07-31).php | |||
| MakeAppendix.php | |||
| NCdistinct.prf | |||
| NChelper.prf | |||
| NCorder.prf | |||
| OriginalCheckProofs.php | |||
| PGflip.prf | |||
| PGrectangle.prf | |||
| PGrotate.prf | |||
| PGsymmetric.prf | |||
| Playfair.prf | |||
| Playfairhelper.prf | |||
| Playfairhelper2.prf | |||
| Prop01.prf | |||
| Prop02.prf | |||
| Prop03.prf | |||
| Prop04.prf | |||
| Prop05.prf | |||
| Prop05b.prf | |||
| Prop06.prf | |||
| Prop06a.prf | |||
| Prop07.prf | |||
| Prop08.prf | |||
| Prop09.prf | |||
| Prop10.prf | |||
| Prop11.prf | |||
| Prop11B.prf | |||
| Prop12.prf | |||
| Prop13.prf | |||
| Prop14.prf | |||
| Prop15.prf | |||
| Prop16.prf | |||
| Prop17.prf | |||
| Prop18.prf | |||
| Prop19.prf | |||
| Prop20.prf | |||
| Prop21.prf | |||
| Prop22.prf | |||
| Prop23.prf | |||
| Prop23B.prf | |||
| Prop23C.prf | |||
| Prop24.prf | |||
| Prop25.prf | |||
| Prop26A.prf | |||
| Prop26B.prf | |||
| Prop27.prf | |||
| Prop27B.prf | |||
| Prop28A.prf | |||
| Prop28B.prf | |||
| Prop28C.prf | |||
| Prop28D.prf | |||
| Prop29.prf | |||
| Prop29B.prf | |||
| Prop29C.prf | |||
| Prop30.prf | |||
| Prop30A.prf | |||
| Prop30B.prf | |||
| Prop30C.prf | |||
| Prop31.prf | |||
| Prop31short.prf | |||
| Prop32.prf | |||
| Prop33.prf | |||
| Prop33B.prf | |||
| Prop34.prf | |||
| Prop35.prf | |||
| Prop35A.prf | |||
| Prop36.prf | |||
| Prop36A.prf | |||
| Prop37.prf | |||
| Prop38.prf | |||
| Prop39.prf | |||
| Prop39A.prf | |||
| Prop40.prf | |||
| Prop41.prf | |||
| Prop42.prf | |||
| Prop42B.prf | |||
| Prop43.prf | |||
| Prop43B.prf | |||
| Prop44.prf | |||
| Prop44A.prf | |||
| Prop45.prf | |||
| Prop46.prf | |||
| Prop47.prf | |||
| Prop47A.prf | |||
| Prop47B.prf | |||
| Prop48.prf | |||
| Prop48A.prf | |||
| PropIII.01.prf | |||
| PropIII.02.prf | |||
| PropIII.03A.prf | |||
| PropIII.03B.prf | |||
| RTcongruence.prf | |||
| RTsymmetric.prf | |||
| TCreflexive.prf | |||
| TGflip.prf | |||
| TGsymmetric.prf | |||
| TTflip.prf | |||
| TTflip2.prf | |||
| TTorder.prf | |||
| TTtransitive.prf | |||
| Theorems.txt | |||
| altitudebisectsbase.prf | |||
| altitudeofrighttriangle.prf | |||
| angleaddition.prf | |||
| angledistinct.prf | |||
| angleorderrespectscongruence.prf | |||
| angleorderrespectscongruence2.prf | |||
| angleordertransitive.prf | |||
| angletrichotomy.prf | |||
| angletrichotomy2.prf | |||
| array_to_file.php | |||
| betweennesspreserved.prf | |||
| betweennotequal.prf | |||
| centerunique.prf | |||
| circle-radius.prf | |||
| collinear1.prf | |||
| collinear2.prf | |||
| collinear4.prf | |||
| collinear5.prf | |||
| collinearbetween.prf | |||
| collinearitypreserved.prf | |||
| collinearmidpoint.prf | |||
| collinearorder.prf | |||
| collinearparallel.prf | |||
| collinearparallel2.prf | |||
| collinearright.prf | |||
| congruenceflip.prf | |||
| congruencesymmetric.prf | |||
| congruencetransitive.prf | |||
| crisscross.prf | |||
| crossbar.prf | |||
| crossbar2.prf | |||
| crossimpliesopposite.prf | |||
| diagonalsbisect.prf | |||
| diagonalsmeet.prf | |||
| differenceofparts.prf | |||
| differentpoint.prf | |||
| differentpoints.prf | |||
| doublereverse.prf | |||
| droppedperpendicularunique.prf | |||
| equalanglesNC.prf | |||
| equalanglesflip.prf | |||
| equalangleshelper.prf | |||
| equalanglesreflexive.prf | |||
| equalanglessymmetric.prf | |||
| equalanglestransitive.prf | |||
| equalitysymmetric.prf | |||
| equaltorightisright.prf | |||
| erectedperpendicularunique.prf | |||
| erectedperpendicularunique2.prf | |||
| extension.prf | |||
| extensionunique.prf | |||
| fiveline.prf | |||
| inequalitysymmetric.prf | |||
| insideor.prf | |||
| interior5.prf | |||
| layoff.prf | |||
| layoffunique.prf | |||
| legsmallerhypotenuse.prf | |||
| lessthanadditive.prf | |||
| lessthanbetween.prf | |||
| lessthancongruence.prf | |||
| lessthancongruence2.prf | |||
| lessthannotequal.prf | |||
| lessthantransitive.prf | |||
| linereflectionisometry.prf | |||
| localextension.prf | |||
| midpointunique.prf | |||
| notperp.prf | |||
| nullsegment3.prf | |||
| ondiameter.prf | |||
| oppositesideflip.prf | |||
| oppositesidesymmetric.prf | |||
| outerconnectivity.prf | |||
| parallelNC.prf | |||
| parallelPasch.prf | |||
| parallelbetween.prf | |||
| parallelcollinear.prf | |||
| parallelcollinear1.prf | |||
| parallelcollinear2.prf | |||
| paralleldef2A.prf | |||
| paralleldef2B.prf | |||
| parallelflip.prf | |||
| parallelsymmetric.prf | |||
| partnotequalwhole.prf | |||
| paste5.prf | |||
| planeseparation.prf | |||
| pointreflectionisometry.prf | |||
| radiiequal.prf | |||
| radiusdetermined.prf | |||
| ray.prf | |||
| ray1.prf | |||
| ray2.prf | |||
| ray3.prf | |||
| ray4.prf | |||
| ray5.prf | |||
| rayimpliescollinear.prf | |||
| raystrict.prf | |||
| rectangleparallelogram.prf | |||
| rectanglereverse.prf | |||
| rectanglerotate.prf | |||
| rightangleNC.prf | |||
| rightreflection.prf | |||
| rightreverse.prf | |||
| righttogether.prf | |||
| samenotopposite.prf | |||
| sameside2.prf | |||
| samesidecollinear.prf | |||
| samesideflip.prf | |||
| samesidereflexive.prf | |||
| samesidesymmetric.prf | |||
| samesidetransitive.prf | |||
| squareflip.prf | |||
| squareparallelogram.prf | |||
| squarerectangle.prf | |||
| squaresequal.prf | |||
| squareunique.prf | |||
| subtractequals.prf | |||
| sumofparts.prf | |||
| supplementinequality.prf | |||
| supplementofright.prf | |||
| supplements.prf | |||
| supplements2.prf | |||
| supplementsymmetric.prf | |||
| tarskiparallelflip.prf | |||
| test.php | |||
| together.prf | |||
| together2.prf | |||
| trapezoiddiagonals.prf | |||
| triangletoparallelogram.prf | |||
| trichotomy1.prf | |||
| trichotomy2.prf | |||
| twolines.prf | |||
| twolines2.prf | |||
| twoperpsparallel.prf | |||
| tworays.prf |