Timestamp:
Oct 31, 2012, 12:59:12 PM (7 years ago)
Author:
mulligan
Message:

Changes to the file including making a start on incorporating Garrigue's typing rules in to the paper. Also added prooftree.sty to get the paper to compile.

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.