author | wenzelm |
Mon, 02 Oct 2000 15:13:32 +0200 | |
changeset 10130 | 5a2e00bf1e42 |
parent 10129 | a62b275ac0f7 |
child 10131 | 546686f0a6fb |
src/FOL/FOL.thy | file | annotate | diff | comparison | revisions | |
src/HOL/Calculation.thy | file | annotate | diff | comparison | revisions |