Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more general signature; works for all terms, not just frees
Changeset 65418:c821f1f3d92d by lars hupel _lars.hupel@mytum.de_:
more general signature; works for all terms, not just frees
The file was modified src/HOL/Tools/Function/function_context_tree.ML (diff)
The file was modified src/HOL/Tools/Function/function_core.ML (diff)