Mercurial > urweb
log
age | author | description |
---|---|---|
Sat, 29 Nov 2008 12:58:58 -0500 | Adam Chlipala | Signature compatibility |
Sat, 29 Nov 2008 11:33:51 -0500 | Adam Chlipala | Declaration typing |
Sat, 29 Nov 2008 10:49:47 -0500 | Adam Chlipala | Pattern typing |
Sat, 29 Nov 2008 10:34:56 -0500 | Adam Chlipala | Typing |
Sat, 29 Nov 2008 10:05:46 -0500 | Adam Chlipala | Definitional equality |
Sat, 29 Nov 2008 09:48:10 -0500 | Adam Chlipala | Disjointness |
Sat, 29 Nov 2008 09:34:11 -0500 | Adam Chlipala | Kinding |
Thu, 27 Nov 2008 16:55:30 -0500 | Adam Chlipala | Shorthands |