Tue, 26 Oct 2010 11:00:17 +0200 | blanchet | improved English | changeset | files |
Tue, 26 Oct 2010 10:59:28 +0200 | blanchet | whitespace tuning | changeset | files |
Tue, 26 Oct 2010 10:57:04 +0200 | blanchet | no need to encode theorem number twice in skolem names | changeset | files |
Tue, 26 Oct 2010 10:39:52 +0200 | blanchet | tuning | changeset | files |
Tue, 26 Oct 2010 09:40:20 +0200 | blanchet | make SML/NJ happy | changeset | files |
Mon, 25 Oct 2010 21:17:16 +0200 | bulwahn | relaxing the filtering condition for getting specifications from Spec_Rules | changeset | files |