| Sun, 30 Jul 2006 21:28:52 +0200 | wenzelm | Thm.adjust_maxidx; | file | diff | annotate |
| Sat, 29 Jul 2006 00:51:31 +0200 | wenzelm | added mk_conjunction_list; | file | diff | annotate |
| Thu, 27 Jul 2006 15:33:21 +0200 | wenzelm | eliminated obsolete freeze_thaw; | file | diff | annotate |
| Thu, 13 Apr 2006 12:00:53 +0200 | wenzelm | Meta-level conjunction. | file | diff | annotate |