summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefLib.sml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Improve the parsing for divDefLibSon Ho2023-06-041-1/+91
* Fix some minor issuesSon Ho2023-06-041-19/+4
* Make the unfolding theorems collection from evalLib persistentSon Ho2023-06-041-0/+2
* Cleanup a bit the HOL4 backend and implement eval_convSon Ho2023-06-041-7/+2
* Introduce fix_exec, an executable version of fixSon Ho2023-06-041-9/+14
* Make minor modifications to divDefLibSon Ho2023-06-041-2/+7
* Fix minor issuesSon Ho2023-06-041-8/+13
* Fix minor issuesSon Ho2023-06-041-2/+9
* Cleanup the files of the HOL4 backendSon Ho2023-06-041-1049/+740
* Cleanup a bit and reorganizeSon Ho2023-06-041-90/+8
* Make minor modificationsSon Ho2023-06-041-0/+26
* Fix minor bugs in divDefLib.smlSon Ho2023-06-041-28/+134
* Fix a small issueSon Ho2023-06-041-3/+32
* Cleanup a bitSon Ho2023-06-041-220/+136
* Finish a first working version of divDefLib.smlSon Ho2023-06-041-29/+347
* Start working on divDefLib for diverging definitionsSon Ho2023-06-041-0/+890