Template for ARS database entries


Name:  <name of prover or module>

Keywords:  <to identify distinguishing features>


Description: 
   Semantics:  the underlying logic
   Deductive machinery:  structure of proofs, deciders, ...
   Dynamics:  how are theories built up, proofs developed, ...
   Persistence: what can be saved and restored -- theories, proofs, 
      proof development states, ....

Contact persons: <email/realmail/fax/phon  for maintainers>

User group: <user-mailing list, publications, range of users>

Pragmatics:  <strengths/weaknesses>

Documentation:  <manuals, tutorials, demos>


Applications:
   <list of major applications -- brief description of problem and result,
   pointer to more info>

Extensions/enhancements:

Resource requirements:
  implementation language
  environment support required [only runs under X, only runs on DOS, ...]
  requires at least 28meg memory
  ...

Where-to-get-it:
  ftp
  tape -- address of supplier
  ???
  

[Info source, date]