log lib/top.urs

age author description
2008-11-06 Adam Chlipala Tree demo works
2008-11-06 Adam Chlipala About to begin optimization of recursive transaction functions
2008-10-31 Adam Chlipala Replace 'with' with '++'
2008-10-30 Adam Chlipala Time MIN/MAX
2008-10-23 Adam Chlipala Crud2 demo
2008-10-23 Adam Chlipala Metaform demos, minus prose
2008-10-21 Adam Chlipala Sum demo, minus inference of {Unit}s
2008-10-12 Adam Chlipala top.urs indents and type-checks with new twiddle syntax
2008-10-04 Adam Chlipala Merge CDisjoint and TDisjoint
2008-09-14 Adam Chlipala Crud update form
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-14 Adam Chlipala Crud gets column headings
2008-09-13 Adam Chlipala queryX
2008-09-13 Adam Chlipala foldTRX2
2008-09-13 Adam Chlipala foldTR2
2008-09-11 Adam Chlipala Crud listing IDs