nominal2: Changelog

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

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Dec 2009 06:39:32 +0100] rev 573

Simpler definition code that works with any type maps.

Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 04:03:08 +0100] rev 572

working on lambda_prs with examples; polished code of clean_tac

nominal2