Summary
- Lazy_Case: support records
The file was modified | thys/Lazy_Case/Test_Lazy_Case.thy (diff) |
The file was modified | thys/Lazy_Case/lazy_case.ML (diff) |
The file was modified | thys/Lazy_Case/Test_Lazy_Case.thy (diff) |
The file was modified | thys/Lazy_Case/lazy_case.ML (diff) |