Version agda 2.2.6
DateUserChanges
Dec. 24, 2010, 4:54 p.m. Nickolas New article.
1