nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Dec 2009 07:21:10 +0100] rev 476

Added tactic for dealing with QUOT_TRUE and introducing QUOT_TRUE.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 01 Dec 2009 19:18:43 +0100] rev 475

back in working state

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 01 Dec 2009 19:01:51 +0100] rev 474

clean

Christian Urban <urbanc@in.tum.de> [Tue, 01 Dec 2009 18:51:14 +0100] rev 473

fixed previous commit

Christian Urban <urbanc@in.tum.de> [Tue, 01 Dec 2009 18:48:52 +0100] rev 472

fixed problems with FOCUS

Christian Urban <urbanc@in.tum.de> [Tue, 01 Dec 2009 18:41:01 +0100] rev 471

added a make_inst test

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 01 Dec 2009 18:22:48 +0100] rev 470

Transformation of QUOT_TRUE assumption by any given function

nominal2