| Fri, 31 Mar 2000 22:22:23 +0200 | wenzelm | added cong atts; | file | diff | annotate |
| Wed, 15 Mar 2000 18:42:13 +0100 | wenzelm | splitter setup; | file | diff | annotate |
| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |
| Mon, 16 Nov 1998 11:11:42 +0100 | wenzelm | attrib_setup; | file | diff | annotate |
| Wed, 29 Apr 1998 11:29:39 +0200 | wenzelm | tuned setup; | file | diff | annotate |
| Sat, 04 Apr 1998 12:28:39 +0200 | wenzelm | replaced thy_data by thy_setup; | file | diff | annotate |
| Mon, 03 Nov 1997 12:26:58 +0100 | wenzelm | added claset thy_data; | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |