Hets: documentation

• A small video showing a heterogeneous proof
• A new video (H.264-Codec) showing a heterogeneous proof
• Hets user guide
• A mailing list for Hets users
• short paper introducing Hets: The Heterogeneous Tool Set by Till Mossakowski, Christian Maeder, Klaus Lüttich and Stefan Wölfl
• detailed thesis about Hets: Heterogeneous specification and the heterogeneous tool set by Till Mossakowski
• Quick start: Hets is called with

      hets filename

  or
  
      hets -g filename
  

  For entering the command line mode, just call
  

      hets -I

  For a short description of the options, call
  

      hets --help

• To support writing CASL specifications we have an emacs mode
• With the option "-o pp.tex" hets can produce nice LaTeX output from your specifictions that can be embedded in your publications using the hetcasl.sty style file