Changeset 2473 for src/common

Timestamp:
Nov 16, 2012, 6:59:24 PM (7 years ago)
Author:
tranquil
Message:

put some generic stuff we need in the back end in extraGlobalenvs (with some axioms that are
in the commented section of Globalenvs)
linearise now has a full spec

File:
1 added

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