Revisions for Monadic second-order logic with cardinality predicates

The revisions let you track differences between multiple versions of a post.
RevisionOperations
2012-05-18 10:42 by dberwangercurrent revision
2012-05-18 10:42 by dberwanger