Fri, 10 Sep 2010 10:59:10 +0200 | bulwahn | adding another String.literal example | changeset | files |
Fri, 10 Sep 2010 10:59:09 +0200 | bulwahn | fiddling with the correct setup for String.literal | changeset | files |
Fri, 10 Sep 2010 10:59:07 +0200 | bulwahn | refactoring mode inference so that the theory is not changed in the mode inference procedure | changeset | files |