| Tue, 25 Mar 2008 21:01:03 +0100 | wenzelm | add dynamic fact binding; | file | diff | annotate |
| Thu, 20 Mar 2008 16:04:34 +0100 | wenzelm | export add/del_thm; | file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
| Wed, 01 Aug 2007 16:55:45 +0200 | wenzelm | added toplevel print command; | file | diff | annotate |
| Sun, 29 Jul 2007 14:30:03 +0200 | wenzelm | Named collections of theorems in canonical order. | file | diff | annotate |