File: theorems-intro.tex

package info (click to toggle)
hol88 2.02.19940316dfsg-8
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 65,960 kB
  • sloc: ml: 199,939; ansic: 9,666; sh: 6,913; makefile: 6,032; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
file content (6 lines) | stat: -rw-r--r-- 307 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
 
The section that follows lists some the definitions and theorems in the
\ml{window} library.
The name of the theory in which each theorem is stored is
given in parentheses after the name of the theorem.
Theorems which are not described in this chapter are considered {\it internal\/}
to the window library.