nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 12 Jul 2011 03:12:32 +0900] rev 2965

use eqvt_at_perm

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 11 Jul 2011 23:42:52 +0900] rev 2964

Remove copy of FCB and cleanup

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 11 Jul 2011 23:42:22 +0900] rev 2963

Experiment with permuting eqvt_at

Christian Urban <urbanc@in.tum.de> [Mon, 11 Jul 2011 14:02:13 +0200] rev 2962

combinators for local theories and lists

Christian Urban <urbanc@in.tum.de> [Mon, 11 Jul 2011 12:23:44 +0100] rev 2961

merged

Christian Urban <urbanc@in.tum.de> [Mon, 11 Jul 2011 12:23:24 +0100] rev 2960

some more experiments with let and bns

Christian Urban <urbanc@in.tum.de> [Fri, 08 Jul 2011 05:04:23 +0200] rev 2959

some code refactoring

Christian Urban <urbanc@in.tum.de> [Thu, 07 Jul 2011 16:17:03 +0200] rev 2958

merged

Christian Urban <urbanc@in.tum.de> [Thu, 07 Jul 2011 16:16:42 +0200] rev 2957

code refactoring; introduced a record for raw_dt_info

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jul 2011 23:11:30 +0200] rev 2956