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