Skip to content
Failed

Changes

Summary

  1. tuning
Changeset 7408:5d3595990674 by blanchet:
tuning
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy (diff)