----- update of isac SYNTAX Isabelle2002 --> Isabelle2009-2 finished.

Semantic check is to be done. Known problems (see #974b):
# hierarchy of theory elements for IsacKnowledge seems empty
(no ouput befor *** insert: not found ... IS OK)
# copynamed ___ --> ''' in Interpreter
# Subproblem (Thy', ... instead of Thy_ in Interpreter
# theory' handled inconsistently: "Thy" | "Thy.thy"
# thm' handled inconsistently: "refl" | "Test.refl" | "Test.class.refl"

 ;;; Options for Proof General

 ;; Examples for sensible settings:

 (custom-set-variables '(indent-tabs-mode nil))

 ;(custom-set-variables '(isar-eta-contract nil))

 ;(custom-set-faces

 ; '(proof-locked-face

 ;   ((((type x) (class color) (background light)) (:background "lightsteelblue2")))))