diff options
| author | Josh Chen | 2019-03-08 17:24:57 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-08 17:24:57 +0100 |
| commit | ad0c2755b011e187792ed90382f72c8808949295 (patch) | |
| tree | c5ce13f9ff3e47c48ca5c2cd14dd8e9859d99188 /Projections.thy | |
| parent | 8f7164976d08446e77a0e1eceaaa01f0ed363e5b (diff) | |
some options, renaming
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions