1 /* Title: Pure/Thy/thy_header.scala
2 ID: $Id$
3 Author: Makarius
2 Author: Makarius
4
3
5 Theory header keywords.
4 Theory header keywords.
6 */
5 */
7
6