diff options
| author | Alasdair Armstrong | 2019-02-12 14:33:43 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-12 16:50:17 +0000 |
| commit | 53d1437599500d87eb355b1598ef965cf2f13483 (patch) | |
| tree | c7060fe4f66d6c6b36c69aab56b9f03eccac21d7 /snapshots/hol4/lem/hol-lib/lem_basic_classesScript.sml | |
| parent | 37673365b346de684ecf5fe031603f51c0e8e7a9 (diff) | |
Improvements for emacs mode
Diffstat (limited to 'snapshots/hol4/lem/hol-lib/lem_basic_classesScript.sml')
0 files changed, 0 insertions, 0 deletions