Skip to content
Permalink
Browse files

renaming for Isabelle (resurrect 7fbd3c0)

  • Loading branch information...
larsrh authored and xrchz committed May 13, 2019
1 parent abdc6fa commit d12bf8c081357963887ad183f2f09e395105cdf6
Showing with 1 addition and 0 deletions.
  1. +1 −0 semantics/evaluate.lem
@@ -221,3 +221,4 @@ evaluate_decs st env [Dlocal lds ds] =
| res -> res
end

declare {isabelle} rename function evaluate_decs = fun_evaluate_decs

0 comments on commit d12bf8c

Please sign in to comment.
You can’t perform that action at this time.