nipkow [Mon, 08 Aug 1994 16:45:08 +0200] rev 510
Simplified some proofs. Added some type assumptions to the introduction rules.
lcp [Thu, 04 Aug 1994 12:39:28 +0200] rev 509
fixed spelling
lcp [Thu, 04 Aug 1994 11:51:30 +0200] rev 508
addition of show_brackets
lcp [Thu, 04 Aug 1994 11:45:59 +0200] rev 507
addition of show_brackets
nipkow [Wed, 03 Aug 1994 09:45:42 +0200] rev 506
improved show_brackets again - Trueprop does not create () any more.
nipkow [Tue, 02 Aug 1994 20:08:57 +0200] rev 505
minimized () in forced printing of barckets (show_brackets)
nipkow [Tue, 02 Aug 1994 09:07:10 +0200] rev 504
added flag show_brackets for printinmg fully bracketed terms.
lcp [Mon, 01 Aug 1994 17:34:57 +0200] rev 503
trivial whitespace change
lcp [Mon, 01 Aug 1994 17:24:46 +0200] rev 502
ZF/Perm.ML/inj_converse_inj, comp_inj: simpler proofs using f_imp_injective
many other tidies
lcp [Fri, 29 Jul 1994 16:07:22 +0200] rev 501
ZF/ex/PropLog/sat_XXX: renamed logcon_XXX, since the relation is logical
consequence rather than satisfaction