Summary
- added hydra battle
The file was added | thys/Nested_Multisets_Ordinals/Hydra_Battle.thy |
The file was modified | thys/Nested_Multisets_Ordinals/McCarthy_91.thy (diff) |
The file was modified | thys/Nested_Multisets_Ordinals/ROOT (diff) |
The file was added | thys/Nested_Multisets_Ordinals/Hydra_Battle.thy |
The file was modified | thys/Nested_Multisets_Ordinals/McCarthy_91.thy (diff) |
The file was modified | thys/Nested_Multisets_Ordinals/ROOT (diff) |