Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Calculation.thy
changeset 10311 3b53ed2c846f
parent 10273 59570adf2d3c
child 11089 0f6f1cd500e5 
--- a/src/HOL/Calculation.thy	Mon Oct 23 22:11:24 2000 +0200
+++ b/src/HOL/Calculation.thy	Mon Oct 23 22:11:43 2000 +0200
@@ -153,7 +153,7 @@
   Note that this list of rules is in reverse order of priorities.
 *}
 
-lemmas trans_rules [trans] =
+lemmas basic_trans_rules [trans] =
   order_less_subst2
   order_less_subst1
   order_le_less_subst2
isabelle