summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefNoFixLib.sml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Start setting up the Nix derivation for HOL4Son Ho1-1/+1
2023-06-04Cleanup a bit the HOL4 backend and implement eval_convSon Ho1-6/+2
2023-06-04Cleanup the files of the HOL4 backendSon Ho1-2/+2
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