The HOL-CASL parser and checker
                   ===============================

Installation: Unpack parser.tar.gz in a directory.
              The distribution contains the following files:

              casl               - the batch file for starting the tool
              .run-sml           - the Standard ML loader
              casl.sparc-solaris - the Standard ML heap image
              examples/	         - folder with examples
              casl.sty           - style file, needed for LaTeX output
              
              This distribution runs on sun sparc workstations
              under solaris only. A linux version will be prepred soon.

Usage: casl [-s] [-tex] [-a] [-h|--help] spec ... spec
        
Options:   -s    also perform static checking and mixfix analysis,
                 including overload resolution.
                 Note that the static checking is still incomplete.
                 The global environment is written to spec.env
           -tex  write LaTeX output to spec.tex
                 The generated LaTeX code output depends on the file
                 casl.sty.
                 See Cofi Note C-2 for details, available under
                 ftp://ftp.brics.dk/Projects/CoFI/Notes/C-2/
                 Without simultaneous use of the -s option, the formulas
                 and terms are only displayed using the verbatim,
                 environment, with no pretty printing.
           -a    selects aterm input
           -h    display this help text
           spec  is a filename of a casl specification,
                 .casl will be appended

Output:   A file spec.aterm is generated. It contains the abstract
          syntax trees in the CasFix format, see
          see http://adam.wins.uva.nl/~markvdb/cofi/casl.html for details.

          Optionally, spec.tex and spec.env will be generated.

Bugs: The HOL-CASL system is still under construction
      and still in an experimental stage. The parser is quite stable,
      but the static semantic analysis is still being heavily under
      development. A list of known problems can be found under

      http://www.informatik.uni-bremen.de/~cofi/CASL/parser/problems.html
      
      We are grateful for reporting any errors not covered by this list to
         
                    cofi@informatik.uni-bremen.de

      The latest version of this tool can be obtained under

      http://www.informatik.uni-bremen.de/~cofi/CASL/parser/parser.html

      Name                    Last modified      Size  Description
      casl                    1999-10-01 14:06  238   
      casl.x86-linux          1999-10-15 14:45  3.0M  
      examples/               1999-09-25 12:50    -