# HG changeset patch
# User wenzelm
# Date 1005776099 -3600
# Node ID f4aaa2647fd21824274e486b5189d030ef8d5434
# Parent  c10cea75dd56e2440e433189ef6f12454132ce9a
updated;

diff -r c10cea75dd56 -r f4aaa2647fd2 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Wed Nov 14 18:46:30 2001 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Nov 14 23:14:59 2001 +0100
@@ -106,6 +106,7 @@
     "print_methods"
     "print_simpset"
     "print_syntax"
+    "print_tcset"
     "print_theorems"
     "print_theory"
     "print_trans_rules"
@@ -234,6 +235,7 @@
     "print_methods"
     "print_simpset"
     "print_syntax"
+    "print_tcset"
     "print_theorems"
     "print_theory"
     "print_trans_rules"