Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. store totality fact in function info
Changeset 65387:5dbe02addca5 by lars hupel _lars.hupel@mytum.de_:
store totality fact in function info
The file was modified src/HOL/Tools/Function/function.ML (diff)
The file was modified src/HOL/Tools/Function/function_common.ML (diff)