nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 27 Jan 2011 04:24:17 +0100] rev 2708

the proofs with eqvt_at

Christian Urban <urbanc@in.tum.de> [Tue, 25 Jan 2011 18:58:26 +0100] rev 2707

made eqvt-proof explicit in the function definitions

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 Jan 2011 02:51:44 +0900] rev 2706

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 Jan 2011 02:46:05 +0900] rev 2705

minor

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 Jan 2011 02:42:15 +0900] rev 2704

Down as infixr

Christian Urban <urbanc@in.tum.de> [Sat, 22 Jan 2011 23:24:20 -0600] rev 2703

added some slides

Christian Urban <urbanc@in.tum.de> [Sun, 23 Jan 2011 03:29:22 +0100] rev 2702

added Tutorial6

Christian Urban <urbanc@in.tum.de> [Sat, 22 Jan 2011 18:59:48 -0600] rev 2701

cleaning up

Christian Urban <urbanc@in.tum.de> [Sat, 22 Jan 2011 16:37:00 -0600] rev 2700

merged

Christian Urban <urbanc@in.tum.de> [Sat, 22 Jan 2011 16:36:21 -0600] rev 2699

cleaned up Tutorial 3 with solutions

nominal2