nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 23:32:27 +0100] rev 583

working state again

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 13:41:42 +0100] rev 582

added a theorem list for equivalence theorems

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 22:58:03 +0100] rev 581

Merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 22:57:44 +0100] rev 580

Name changes.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 22:57:03 +0100] rev 579

Solved all quotient goals.

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 11:39:34 +0100] rev 578

updated Isabelle and deleted mono rules

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 11:21:29 +0100] rev 577

more tuning of the code

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 11:09:51 +0100] rev 576

puting code in separate sections

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 06:58:24 +0100] rev 575

Handle 'find_qt_asm' exception. Now all inj_repabs_goals should be solved automatically.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 06:41:52 +0100] rev 574

merge

nominal2