Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
cuts.tex | 2011-02-11 00:42 | 4.7K | ||
TypesOfTerms.tex | 2011-02-11 00:49 | 4.2K | ||
EvalNatural.tex | 2011-02-11 00:49 | 4.0K | ||
Core.tex | 2011-01-11 01:25 | 4.0K | ||
EvalOperational.tex | 2011-02-11 00:49 | 3.2K | ||
KindsOfTypes.tex | 2011-01-10 08:17 | 2.7K | ||
EvalWitness.tex | 2011-01-21 04:12 | 1.2K | ||
KindsOfWitnesses.tex | 2011-01-21 03:11 | 861 | ||
SupersOfKinds.tex | 2010-07-07 08:27 | 833 | ||
TypesOfAlternatives.tex | 2011-01-05 09:29 | 768 | ||
DynamicObjects.tex | 2010-07-02 04:51 | 566 | ||
PureEffects.tex | 2011-01-21 04:12 | 540 | ||
SubsOfEffects.tex | 2011-02-11 00:49 | 422 | ||