author | wenzelm |
Thu, 09 Sep 1999 12:25:30 +0200 | |
changeset 7529 | fa534e4f7e49 |
parent 7528 | ee5f37e4f186 |
child 7530 | 505f6f8e9dcf |
src/FOL/FOL.ML | file | annotate | diff | comparison | revisions | |
src/HOL/HOL.ML | file | annotate | diff | comparison | revisions |