src/HOL/IOA/ROOT_ABP.ML
1995-09-11 clasohm 1995-09-11 split IOA/ROOT.ML into two files for ABP and NTP