Skip to content
Success

Changes

Summary

  1. proper code_abbrev
Changeset 8068:ac8ca3e9f3d3 by haftmann:
proper code_abbrev
The file was modified thys/Real_Impl/Real_Impl.thy (diff)