Skip to content
Failed

Changes

Summary

  1. simplified proofs
Changeset 6408:7a72fd8ce2ff by traytel:
simplified proofs
The file was modified thys/Coinductive_Languages/Coinductive_Language.thy (diff)