| Tue, 06 Sep 1994 13:28:56 +0200 | lcp | documentation of theory sections (co)inductive and (co)datatype | changeset | files |
| Tue, 06 Sep 1994 13:10:38 +0200 | wenzelm | minor internal changes; | changeset | files |
| Tue, 06 Sep 1994 13:09:58 +0200 | wenzelm | added ext_tsig_types; | changeset | files |
| Tue, 06 Sep 1994 11:02:16 +0200 | lcp | removal of needless quotes | changeset | files |