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
nipkow [Fri, 29 Jul 1994 15:32:17 +0200] rev 500
some small simplifications
lcp [Fri, 29 Jul 1994 13:30:48 +0200] rev 499
deleted repeated "the" in "before the the .thy file"