changeset 4122 | f63c283cefaf |
parent 4121 | 390e10ddadf2 |
child 4123 | 9600dd68d35b |
--- a/src/HOLCF/ax_ops/thy_syntax.ML Tue Nov 04 14:37:51 1997 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,10 +0,0 @@ -(* Title: HOLCF/thy_syntax.ML - ID: $Id$ - Author: Tobias Mayr - -Additional thy file sections for HOLCF: axioms, ops. -*) - -ThySyn.add_syntax - (ThyAxioms.axioms_keywords @ ThyOps.ops_keywords) - (ThyAxioms.axioms_sections @ ThyOps.ops_sections);