paulson@3353: (*  Title:      TFL/sys
paulson@3302:     ID:         $Id$
paulson@3302:     Author:     Konrad Slind, Cambridge University Computer Laboratory
paulson@3302:     Copyright   1997  University of Cambridge
paulson@3302: 
paulson@3302: Compile the TFL system
paulson@3302: *)
paulson@2112: 
paulson@2112: (* Portability stuff *)
paulson@2112: nonfix prefix;
paulson@2112: 
paulson@2112: (* Establish a base of common and/or helpful functions. *)
paulson@2112: use "utils.sig";
paulson@2112: 
paulson@2112: use "usyntax.sig";
paulson@2112: use "rules.sig";
paulson@2112: use "thry.sig";
paulson@2112: use "thms.sig";
paulson@2112: use "tfl.sig";
paulson@3245: use "utils.sml";
paulson@2112: 
paulson@2112: (*----------------------------------------------------------------------------
paulson@2112:  *      Supply implementations
paulson@2112:  *---------------------------------------------------------------------------*)
paulson@2112: 
paulson@2112: use "usyntax.sml";
paulson@2112: use "thms.sml";
paulson@4062: use "dcterm.sml"; 
paulson@4062: use "rules.new.sml";
paulson@2112: use "thry.sml";
paulson@2112: 
paulson@2112: 
paulson@2112: (*----------------------------------------------------------------------------
paulson@2112:  *      Link system and specialize for Isabelle 
paulson@2112:  *---------------------------------------------------------------------------*)
paulson@3391: use "tfl.sml";
paulson@4062: use "post.sml";