1
(* Title: HOL/Tools/recdef.ML
2
Author: Markus Wenzel, TU Muenchen
3
4
Wrapper module for Konrad Slind's TFL package.
5
*)
6