src/ZF/Tools/typechk.ML
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1999-01-27 paulson 1999-01-27 new typechecking solver for the simplifier
1999-01-13 paulson 1999-01-13 datatype package improvements
1998-12-28 paulson 1998-12-28 moved from ZF to new subdirectory Tools