Thu, 26 Feb 2009 13:56:54 -0500 |
Adam Chlipala |
Coq README |
Tue, 24 Feb 2009 16:08:14 -0500 |
Adam Chlipala |
Coq formalization uses TDisjoint |
Tue, 24 Feb 2009 15:54:05 -0500 |
Adam Chlipala |
Folder generation for functors |
Tue, 24 Feb 2009 15:38:01 -0500 |
Adam Chlipala |
Folder generation for functions |
Tue, 24 Feb 2009 15:12:13 -0500 |
Adam Chlipala |
Demos compile again, with manual folders |
Tue, 24 Feb 2009 14:04:07 -0500 |
Adam Chlipala |
Make folders abstract |
Tue, 24 Feb 2009 13:50:39 -0500 |
Adam Chlipala |
Top.Fold.mp |
Tue, 24 Feb 2009 13:46:08 -0500 |
Adam Chlipala |
Top.Fold.concat elaborates |
Tue, 24 Feb 2009 12:01:24 -0500 |
Adam Chlipala |
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
Sun, 22 Feb 2009 17:39:55 -0500 |
Adam Chlipala |
demo/sum working with manual folders |
Sun, 22 Feb 2009 17:17:01 -0500 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
Sun, 22 Feb 2009 16:33:55 -0500 |
Adam Chlipala |
Turned off termination checking, for now |