summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefExampleTheory.sig
diff options
context:
space:
mode:
authorSon Ho2023-07-13 14:00:48 +0200
committerSon Ho2023-07-13 14:00:48 +0200
commita9a3376443e4c6d9a5257bdd310966a59aa9e716 (patch)
treea953b460ba70c19e2f1c100b162343afeb5e09c2 /backends/hol4/divDefExampleTheory.sig
parent2dbd529b499c2bb9dae754df0e449cad577ac7a0 (diff)
Update a comment
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions