Changeset 2160 for src/ASM/Test.ma

Timestamp:
Jul 6, 2012, 5:26:21 PM (8 years ago)
Author:
mulligan
Message:

Added a new scratch file Test.ma for working on lemmas that are needed in the massive proof to avoid having to retypecheck everything. Lots of work from the last week on the AssemblyProofSplit?.ma file, as well as an attempt to use Russell-style types on set_arg_8.

File:
1 added

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