Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned mode_name;
authorwenzelm
Thu, 17 Dec 1998 17:45:51 +0100
changeset 6030 f29d4e507564
parent 6029 30c957a74803
child 6031 d9fa148383e2
tuned mode_name;
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof.ML	Thu Dec 17 17:41:32 1998 +0100
+++ b/src/Pure/Isar/proof.ML	Thu Dec 17 17:45:51 1998 +0100
@@ -100,7 +100,7 @@
 datatype mode = Forward | ForwardChain | Backward;
 
 val mode_name =
-  fn Forward => "forward" | ForwardChain => "forward chain" | Backward => "backward";
+  fn Forward => "state" | ForwardChain => "chain" | Backward => "prove";
 
 
 (* type node *)
isabelle