| -rw-r--r-- | Execution.thy | 5.7 KiB | 97648de5fc refactor(layout): relocate proof guest and host build inputs | 2 months ago |
| -rw-r--r-- | Export.thy | 475 bytes | 97648de5fc refactor(layout): relocate proof guest and host build inputs | 2 months ago |
| -rw-r--r-- | Isolation.thy | 3.5 KiB | 97648de5fc refactor(layout): relocate proof guest and host build inputs | 2 months ago |
| -rw-r--r-- | Model.thy | 5.7 KiB | 97648de5fc refactor(layout): relocate proof guest and host build inputs | 2 months ago |
| -rw-r--r-- | Protocol.thy | 4.5 KiB | 97648de5fc refactor(layout): relocate proof guest and host build inputs | 2 months ago |
| -rw-r--r-- | Reuse.thy | 10.0 KiB | 97648de5fc refactor(layout): relocate proof guest and host build inputs | 2 months ago |
| -rw-r--r-- | ROOT | 147 bytes | 97648de5fc refactor(layout): relocate proof guest and host build inputs | 2 months ago |
| -rw-r--r-- | Snapshot.thy | 7.8 KiB | f044a95a6b feat(snapshot): prove promotion preserves unselected snapshot contents | 11 days ago |