 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Nominal + HOL-Statespace.
+;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Nominal + HOL-Statespace + HOL-SPARK.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 

    "sledgehammer"
    "smt_status"
    "solve_direct"
    "term"
    "thm"
    "thm_deps"

    "smt_status"
    "solve_direct"
    "sorry"
    "spark_end"
    "spark_open"
    "spark_proof_functions"
    "spark_status"
    "spark_vc"
    "specification"
    "statespace"
    "subclass"
