src/HOL/Prolog/prolog.ML
2008-06-16 wenzelm 2008-06-16 pervasive RuleInsts;
2008-06-16 wenzelm 2008-06-16 ptac/prolog_tac: proper context;
2008-06-11 wenzelm 2008-06-11 Drule.read_instantiate;
2006-11-20 wenzelm 2006-11-20 HOL-Prolog: converted legacy ML scripts;