# HG changeset patch
# User wenzelm
# Date 939066079 -7200
# Node ID 85638b39fd80e9039abcd2ecd982f331c97e0063
# Parent  cdaf7f18856dffe4166d5a52d490e0bf3623161b
obsolete;

diff -r cdaf7f18856d -r 85638b39fd80 TFL/sys.sml
--- a/TFL/sys.sml	Mon Oct 04 21:41:09 1999 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,37 +0,0 @@
-(*  Title:      TFL/sys
-    ID:         $Id$
-    Author:     Konrad Slind, Cambridge University Computer Laboratory
-    Copyright   1997  University of Cambridge
-
-Compile the TFL system
-*)
-
-(* Portability stuff *)
-nonfix prefix;
-
-(* Establish a base of common and/or helpful functions. *)
-use "utils.sig";
-
-use "usyntax.sig";
-use "rules.sig";
-use "thry.sig";
-use "thms.sig";
-use "tfl.sig";
-use "utils.sml";
-
-(*----------------------------------------------------------------------------
- *      Supply implementations
- *---------------------------------------------------------------------------*)
-
-use "usyntax.sml";
-use "thms.sml";
-use "dcterm.sml"; 
-use "rules.sml";
-use "thry.sml";
-
-
-(*----------------------------------------------------------------------------
- *      Link system and specialize for Isabelle 
- *---------------------------------------------------------------------------*)
-use "tfl.sml";
-use "post.sml";