Wed, 19 Jan 2011 17:54:50 +0100 | Christian Urban | theory name as it should be | changeset | files |
Wed, 19 Jan 2011 17:54:06 +0100 | Christian Urban | removed diagnostic code | changeset | files |
Wed, 19 Jan 2011 17:11:10 +0100 | Christian Urban | added Minimal file to test things | changeset | files |