Revisions for Monadic second-order logic with cardinality predicates

The revisions let you track differences between multiple versions of a post.

Revision	Operations
2012-05-18 10:42 by dberwanger	current revision
2012-05-18 10:42 by dberwanger