initial commit
initial commit
changing directory structure
cleanup
adding front pages, and the UW template
separating each chapter in a file, some code cleanup as well
macros, proofs, fj syntax
fj subtyping rules
started auxiliary rules
update proof macros with classes, fields, methods, constructors
field lookup
infer now is vertically aligned using vcenter
fj auxiliary functions
some typing rules
t-invk and some macros cleanup
t-new
t-ucast
t-ucast
t-method
all typing rules