Skip to content
Success

Changes

Summary

  1. tuned op's
Changeset 8612:e4d19968e9d8 by nipkow:
tuned op's
The file was modified thys/Automatic_Refinement/Parametricity/Param_HOL.thy (diff)