src/Pure/Thy/README
author wenzelm
Sun Jul 23 12:10:11 2000 +0200 (2000-07-23)
changeset 9416 9144976964e7
parent 7720 b92bbfda8de5
permissions -rw-r--r--
removed all_sessions.graph;
improved graph 'directories';
tuned;
wenzelm@7484
     1
wenzelm@7484
     2
				Pure/Thy/
wenzelm@7484
     3
wenzelm@7484
     4
This directory contains the theory loader system, theory presentation
wenzelm@7484
     5
components, and the parser setup for old-style theory files.
wenzelm@7484
     6
wenzelm@7484
     7
  ThyLoad	(theory loader primitives, including load path)
wenzelm@7484
     8
  ThyInfo	(theory loader main)
wenzelm@7484
     9
  HTML		(HTML presentation primitives)
wenzelm@7720
    10
  Latex		(simple LaTeX presentation primitives)
wenzelm@7720
    11
  Present	(theory browser info presentation)
wenzelm@7484
    12
  ThmDatabase	(user-level access to the theorem database)