author | wenzelm |
Mon, 06 Sep 1999 12:49:39 +0200 | |
changeset 7484 | 9deae880cf74 |
child 7720 | b92bbfda8de5 |
permissions | -rw-r--r-- |
Pure/Thy/ This directory contains the theory loader system, theory presentation components, and the parser setup for old-style theory files. ThyLoad (theory loader primitives, including load path) ThyInfo (theory loader main) HTML (HTML presentation primitives) ThmDatabase (user-level access to the theorem database)