| Thu, 26 Jan 1995 13:31:36 +0100 | clasohm | added documentation of Sign.ambiguity_level | changeset | files |
| Thu, 26 Jan 1995 12:44:50 +0100 | clasohm | added reference variable ambiguity_level to control ambiguity warnings | changeset | files |
| Wed, 25 Jan 1995 04:00:27 +0100 | lcp | changed due to new .bib files | changeset | files |
| Tue, 24 Jan 1995 12:17:49 +0100 | clasohm | added optional body priority to binder declaration | changeset | files |
| Tue, 24 Jan 1995 03:04:20 +0100 | lcp | Under RS added cross reference to bind_thm | changeset | files |
| Tue, 24 Jan 1995 03:03:19 +0100 | lcp | documented slow_tac, slow_best_tac, depth_tac, deepen_tac | changeset | files |
| Tue, 24 Jan 1995 03:02:01 +0100 | lcp | removed mention of FOL_dup_cs | changeset | files |