src/Pure/isac/smltest/calcelems.sml
branchisac-from-Isabelle2009-2
changeset 37871 875b6efa7ced
equal deleted inserted replaced
37870:5100a9c3abf8 37871:875b6efa7ced
       
     1 (* tests for sml/calcelems.sml
       
     2    author: Walther Neuper 060113
       
     3    (c) isac-team 2006
       
     4 
       
     5 use"../smltest/calcelems.sml";
       
     6 use"calcelems.sml";
       
     7 *)