Wed, 04 Apr 2007 23:29:33 +0200 | wenzelm | rep_thm/cterm/ctyp: removed obsolete sign field; | file | diff | annotate |
Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | file | diff | annotate |
Sat, 08 Jul 2006 12:54:49 +0200 | wenzelm | tuned interface; | file | diff | annotate |
Mon, 19 Jun 2006 22:06:36 +0200 | wenzelm | refrain from reforming TFL -- back to previous revision; | file | diff | annotate |
Mon, 19 Jun 2006 20:21:30 +0200 | wenzelm | eliminated freeze/varify in favour of Variable.import/export/trade; | file | diff | annotate |
Tue, 13 Jun 2006 23:41:39 +0200 | wenzelm | tuned; | file | diff | annotate |
Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |