src/HOL/Prolog/prolog.ML
2006-11-20 wenzelm 2006-11-20 HOL-Prolog: converted legacy ML scripts;