log

age author description
Sun, 16 Nov 2008 15:04:21 -0500 Adam Chlipala About to stop using JMeq
Sun, 16 Nov 2008 14:01:33 -0500 Adam Chlipala Closure conversion defined
Sun, 16 Nov 2008 11:54:51 -0500 Adam Chlipala Start of Intensional