TFL/sys.sml
author wenzelm
Wed Nov 05 11:41:18 1997 +0100 (1997-11-05)
changeset 4145 ffb0c9670597
parent 4062 fa2eb95b1b2d
child 6498 1ebbe18fe236
permissions -rw-r--r--
adapted extend_trfunsT;
     1 (*  Title:      TFL/sys
     2     ID:         $Id$
     3     Author:     Konrad Slind, Cambridge University Computer Laboratory
     4     Copyright   1997  University of Cambridge
     5 
     6 Compile the TFL system
     7 *)
     8 
     9 (* Portability stuff *)
    10 nonfix prefix;
    11 
    12 (* Establish a base of common and/or helpful functions. *)
    13 use "utils.sig";
    14 
    15 use "usyntax.sig";
    16 use "rules.sig";
    17 use "thry.sig";
    18 use "thms.sig";
    19 use "tfl.sig";
    20 use "utils.sml";
    21 
    22 (*----------------------------------------------------------------------------
    23  *      Supply implementations
    24  *---------------------------------------------------------------------------*)
    25 
    26 use "usyntax.sml";
    27 use "thms.sml";
    28 use "dcterm.sml"; 
    29 use "rules.new.sml";
    30 use "thry.sml";
    31 
    32 
    33 (*----------------------------------------------------------------------------
    34  *      Link system and specialize for Isabelle 
    35  *---------------------------------------------------------------------------*)
    36 use "tfl.sml";
    37 use "post.sml";