Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. allow multiple recursive methods to co-exist in order to support mutual recursion;
  2. apply current morphism to method text before evaluating;
Changeset 63186:dc221b8945f2 by matichuk _daniel.matichuk@nicta.com.au_:
allow multiple recursive methods to co-exist in order to support mutual recursion;
The file was modified src/HOL/Eisbach/Tests.thy (diff)
The file was modified src/HOL/Eisbach/method_closure.ML (diff)
Changeset 63185:08369e33c185 by matichuk _daniel.matichuk@nicta.com.au_:
apply current morphism to method text before evaluating;
The file was modified src/HOL/Eisbach/Tests.thy (diff)
The file was modified src/HOL/Eisbach/match_method.ML (diff)
The file was modified src/HOL/Eisbach/method_closure.ML (diff)
The file was modified src/HOL/Eisbach/parse_tools.ML (diff)