Summary
- merged
- "option"al versions of lhd/ltl
The file was modified | thys/Coinductive/Coinductive_List.thy (diff) |
Changeset
8955:69ff47b5899b
by lars hupel _lars.hupel@mytum.de_:
"option"al versions of lhd/ltl | |
The file was modified | thys/Coinductive/Coinductive_List.thy (diff) |