updated Knowledge/Atools.thy + some changes + changes ahead

# replaced thms ahead by ./thms-replace-Isa02-Isa09-2.sml
# Knowledge/Delete.thy takes intermediate code:
* fun calc, fun term_of_float,fun var_op_float, fun float_op_var
for Float, which have already been deleted
* thms which are available only with long.identifiers
which cannot be handled in isac's Scripts
# added ProgLang/Language.thy collecting all data about Scripts

 (* Title:  collect all defitions for the program language

    Author: Walther Neuper 100831

    (c) due to copyright terms

  *)

 theory Language imports Script

 uses ("scrtools.sml") 

 begin

 use "scrtools.sml"

 end