Tue, 09 Jun 2009 16:38:33 +0200 | himmelma | removed duplicate lemmas | changeset | files |
Tue, 09 Jun 2009 14:20:37 +0200 | bulwahn | removed general graph functions in the predicate compiler | changeset | files |
Tue, 09 Jun 2009 13:56:28 +0200 | bulwahn | added graph builders | changeset | files |
Tue, 09 Jun 2009 13:40:57 +0200 | bulwahn | removed debug messages | changeset | files |