diff options
| author | Pierre Courtieu | 2019-05-24 13:08:01 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2019-06-17 18:06:13 +0200 |
| commit | cdc630c3d453fe0c1384e3faca268f9818828c26 (patch) | |
| tree | 0621b253644f1b2e50f27eaa05cef6eaf6192603 /generic/proof-script.el | |
| parent | 89a6166a2ee61ff9cc84ccffe681a275c64c6856 (diff) | |
fixing with inductive indentation.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions