Wed, 21 Jan 2009 16:47:04 +0100 | haftmann | binding replaces bstring | file | diff | annotate |
Sat, 19 Apr 2008 12:04:17 +0200 | wenzelm | NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name; | file | diff | annotate |
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 |