summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefLib.sml (follow)
Commit message (Collapse)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