| Thu, 13 Apr 1995 16:57:18 +0200 | nipkow | Directory example is now called NTP | changeset | files |
| Thu, 13 Apr 1995 16:55:14 +0200 | nipkow | ABP: Alternating bit protocol example | changeset | files |
| Thu, 13 Apr 1995 16:53:15 +0200 | nipkow | New ROOT file. | changeset | files |
| Thu, 13 Apr 1995 15:38:07 +0200 | lcp | New example by Ole Rasmussen | changeset | files |
| Thu, 13 Apr 1995 15:13:27 +0200 | lcp | Simplified some proofs and made them work for new hyp_subst_tac. | changeset | files |
| Thu, 13 Apr 1995 15:08:39 +0200 | lcp | expandshort | changeset | files |
| Thu, 13 Apr 1995 15:06:25 +0200 | lcp | Deleted some useless things and made proofs of | changeset | files |