| 2007-10-06 | wenzelm | 2007-10-06 | simplified interfaces for outer syntax; | file | diff | annotate |
| 2007-08-01 | wenzelm | 2007-08-01 | added toplevel print command; | file | diff | annotate |
| 2007-07-29 | wenzelm | 2007-07-29 | Named collections of theorems in canonical order. | file | diff | annotate |