| Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | changeset | files |
| Mon, 08 Aug 1994 16:45:08 +0200 | nipkow | Simplified some proofs. Added some type assumptions to the introduction rules. | changeset | files |
| Thu, 04 Aug 1994 12:39:28 +0200 | lcp | fixed spelling | changeset | files |
| Thu, 04 Aug 1994 11:51:30 +0200 | lcp | addition of show_brackets | changeset | files |
| Thu, 04 Aug 1994 11:45:59 +0200 | lcp | addition of show_brackets | changeset | files |
| Wed, 03 Aug 1994 09:45:42 +0200 | nipkow | improved show_brackets again - Trueprop does not create () any more. | changeset | files |
| Tue, 02 Aug 1994 20:08:57 +0200 | nipkow | minimized () in forced printing of barckets (show_brackets) | changeset | files |