|
Distinguishing_Guards.thy
|
Initial import from AFP.
|
2020-12-19 09:35:49 +00:00 |
|
Group_By.thy
|
Initial import from AFP.
|
2020-12-19 09:35:49 +00:00 |
|
Increment_Reset.thy
|
Initial import from AFP.
|
2020-12-19 09:35:49 +00:00 |
|
Least_Upper_Bound.thy
|
Import of AFP for Isabelle 2021.
|
2021-02-27 16:34:10 +00:00 |
|
PTA_Generalisation.thy
|
Initial import from AFP.
|
2020-12-19 09:35:49 +00:00 |
|
Same_Register.thy
|
Initial import from AFP.
|
2020-12-19 09:35:49 +00:00 |
|
Store_Reuse.thy
|
Initial import from AFP.
|
2020-12-19 09:35:49 +00:00 |
|
Store_Reuse_Subsumption.thy
|
Initial import from AFP.
|
2020-12-19 09:35:49 +00:00 |
|
Weak_Subsumption.thy
|
Initial import from AFP.
|
2020-12-19 09:35:49 +00:00 |
Achim D. Brucker
1f29340b1b