log src/elaborate.sml

age author description
Sat, 04 Oct 2008 19:56:59 -0400 Adam Chlipala Improved inference of records of tuples
Sat, 04 Oct 2008 15:50:28 -0400 Adam Chlipala Merge CDisjoint and TDisjoint
Sun, 14 Sep 2008 19:03:55 -0400 Adam Chlipala Crud update form