summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefScript.sml
diff options
context:
space:
mode:
authorSon Ho2024-04-04 10:57:01 +0200
committerSon Ho2024-04-04 10:57:01 +0200
commit8a8f3ee2e444542112a3b0ea0b4e6283b1893aaa (patch)
treec574e1189528bea9a5885170e7828cffb3e49877 /backends/hol4/divDefScript.sml
parenta25f3bc7fe1dcddc952b4dcbb7b732bdf095197e (diff)
Make minor modifications
Diffstat (limited to 'backends/hol4/divDefScript.sml')
0 files changed, 0 insertions, 0 deletions