diff options
| author | Josh Chen | 2018-08-17 13:58:26 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-17 13:58:26 +0200 |
| commit | 6608e0a3d48aae26f84087da5e4d60da8341bca5 (patch) | |
| tree | 7e1127d9c5080042521c716095c4eb6475c30c67 /scratch.thy | |
| parent | a7806604105ebf09af4237fe338c0cfcf6ebb463 (diff) | |
Axiomatizations should be definitions
Diffstat (limited to 'scratch.thy')
0 files changed, 0 insertions, 0 deletions