nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 23 Jan 2011 07:17:35 +0900] rev 2697

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 23 Jan 2011 07:15:59 +0900] rev 2696

Tutorial 4s

Christian Urban <urbanc@in.tum.de> [Sat, 22 Jan 2011 16:04:40 -0600] rev 2695

cleaned up and solution section

Christian Urban <urbanc@in.tum.de> [Sat, 22 Jan 2011 15:07:36 -0600] rev 2694

cleaned up tutorial1...added solution file

Christian Urban <urbanc@in.tum.de> [Sat, 22 Jan 2011 12:46:01 -0600] rev 2693

better version of Tutorial 1

Christian Urban <urbanc@in.tum.de> [Fri, 21 Jan 2011 22:58:03 +0100] rev 2692

better flow of proofs and definitions and proof

Christian Urban <urbanc@in.tum.de> [Fri, 21 Jan 2011 22:23:44 +0100] rev 2691

separated type preservation and progress into a separate file

Christian Urban <urbanc@in.tum.de> [Fri, 21 Jan 2011 22:02:34 +0100] rev 2690

substitution lemma in separate file

Christian Urban <urbanc@in.tum.de> [Fri, 21 Jan 2011 21:58:51 +0100] rev 2689

added unbind example

Christian Urban <urbanc@in.tum.de> [Fri, 21 Jan 2011 00:55:28 +0100] rev 2688

a bit tuning

nominal2