Changeset 1299 for src/joint

Timestamp:
Oct 5, 2011, 9:53:29 PM (8 years ago)
Author:
sacerdot
Message:

Functions from RTL/semantics.ma generalized to work on every graph language
and moved into joint/SemanticUtils.ma.

File:
1 added

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