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

Christian Urban <urbanc@in.tum.de> [Tue, 01 Dec 2009 16:27:42 +0100] rev 469

QUOT_TRUE joke

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 01 Dec 2009 14:08:56 +0100] rev 468

Removed last HOL_ss

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 01 Dec 2009 14:04:00 +0100] rev 467

more cleaning

nominal2