log doc/tlc.ur

age author description
2011-07-17 Adam Chlipala Tutorial proof-reading
2011-07-17 Adam Chlipala Tutorial: TLC meets type classes and modules
2011-07-17 Adam Chlipala Tutorial: folders
2011-07-17 Adam Chlipala Tutorial: up to First-Class Polymorphism
2011-07-17 Adam Chlipala Tutorial: Names and Records