| 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
|
| Tue, 02 Aug 1994 09:07:10 +0200 |
nipkow |
added flag show_brackets for printinmg fully bracketed terms.
|
changeset |
files
|
| Mon, 01 Aug 1994 17:34:57 +0200 |
lcp |
trivial whitespace change
|
changeset |
files
|
| Mon, 01 Aug 1994 17:24:46 +0200 |
lcp |
ZF/Perm.ML/inj_converse_inj, comp_inj: simpler proofs using f_imp_injective
|
changeset |
files
|
| Fri, 29 Jul 1994 16:07:22 +0200 |
lcp |
ZF/ex/PropLog/sat_XXX: renamed logcon_XXX, since the relation is logical
|
changeset |
files
|
| Fri, 29 Jul 1994 15:32:17 +0200 |
nipkow |
some small simplifications
|
changeset |
files
|
| Fri, 29 Jul 1994 13:30:48 +0200 |
lcp |
deleted repeated "the" in "before the the .thy file"
|
changeset |
files
|
| Fri, 29 Jul 1994 13:28:39 +0200 |
lcp |
renamed union_iff to Union_iff
|
changeset |
files
|