Summary
- tuned;
The file was modified | thys/Kleene_Algebra/Kleene_Algebra.thy (diff) |
The file was modified | thys/Kleene_Algebra/ROOT (diff) |
The file was modified | thys/Kleene_Algebra/Kleene_Algebra.thy (diff) |
The file was modified | thys/Kleene_Algebra/ROOT (diff) |