Skip to content
Success

Changes

Summary

  1. improved invention of free names in Partial_Function_MR
Changeset 8303:ff01c22efbbc by rene thiemann _rene.thiemann@uibk.ac.at_:
improved invention of free names in Partial_Function_MR
The file was modified thys/Partial_Function_MR/partial_function_mr.ML (diff)