Sat, 30 Jan 2016 13:12:36 +0000 proved some lemmas about star and mkeps (injval etc not yet done)
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 30 Jan 2016 13:12:36 +0000] rev 90
proved some lemmas about star and mkeps (injval etc not yet done)
Thu, 21 Jan 2016 12:47:20 +0000 added theory for star
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Jan 2016 12:47:20 +0000] rev 89
added theory for star
Thu, 14 Jan 2016 17:19:40 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Jan 2016 17:19:40 +0000] rev 88
updated
Wed, 06 Jan 2016 12:24:29 +0000 added type inference paper and updated Re.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Jan 2016 12:24:29 +0000] rev 87
added type inference paper and updated Re.thy
(0) -30 -10 -4 +4 +10 +30 +100 +300 tip