Fri, 20 Nov 2009 10:18:35 -0500 |
Adam Chlipala |
Proof-reading pass through first bit of Universes |
Wed, 18 Nov 2009 15:38:01 -0500 |
Adam Chlipala |
Update DataStruct with a new reason to use reflexive types; start Universes |
Mon, 16 Nov 2009 13:27:34 -0500 |
Adam Chlipala |
First 8.2 release |
Mon, 16 Nov 2009 13:13:34 -0500 |
Adam Chlipala |
Fix Extensional type annotations |
Mon, 16 Nov 2009 12:30:38 -0500 |
Adam Chlipala |
Port Extensional |
Mon, 16 Nov 2009 12:18:55 -0500 |
Adam Chlipala |
Port Interps |
Mon, 16 Nov 2009 12:08:18 -0500 |
Adam Chlipala |
Port Hoas |
Mon, 16 Nov 2009 11:09:47 -0500 |
Adam Chlipala |
Port Reflection |
Mon, 16 Nov 2009 10:32:04 -0500 |
Adam Chlipala |
Ported Match |
Fri, 13 Nov 2009 12:03:08 -0500 |
Adam Chlipala |
Port Generic |
Wed, 11 Nov 2009 15:12:40 -0500 |
Adam Chlipala |
Ported Equality |
Wed, 11 Nov 2009 14:34:24 -0500 |
Adam Chlipala |
Touch-ups to DataStruct |