Wed, 02 Dec 2009 07:21:10 +0100 | Cezary Kaliszyk | Added tactic for dealing with QUOT_TRUE and introducing QUOT_TRUE. | changeset | files |
Tue, 01 Dec 2009 19:18:43 +0100 | Cezary Kaliszyk | back in working state | changeset | files |
Tue, 01 Dec 2009 19:01:51 +0100 | Cezary Kaliszyk | clean | changeset | files |
Tue, 01 Dec 2009 18:51:14 +0100 | Christian Urban | fixed previous commit | changeset | files |
Tue, 01 Dec 2009 18:48:52 +0100 | Christian Urban | fixed problems with FOCUS | changeset | files |
Tue, 01 Dec 2009 18:41:01 +0100 | Christian Urban | added a make_inst test | changeset | files |