diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-04-04 20:33:04 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-04-04 20:33:04 +0000 |
commit | 893bccaf0799733363c33f2aea35796d51de8de3 (patch) | |
tree | bb592c3d51c64e4f7ccb000724f08afe0803d444 /isar/isar-keywords.el | |
parent | d3f1d1b4e7def3232e86f9ac4498ad1c1477bb01 (diff) |
added 'print_claset', 'print_simpset';
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r-- | isar/isar-keywords.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 84afff87..222bc6de 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -60,9 +60,11 @@ "print_attributes" "print_binds" "print_cases" + "print_claset" "print_context" "print_facts" "print_methods" + "print_simpset" "print_syntax" "print_theorems" "print_theory" |