summaryrefslogtreecommitdiff
path: root/tests/lean/misc-paper
diff options
context:
space:
mode:
authorSon Ho2023-01-26 08:52:16 +0100
committerSon HO2023-06-04 21:54:38 +0200
commitaf587522a71574f6022cd5c99942ced6063e9e3b (patch)
treebc08b4310b40c8e7fe9efbd972b8bb13042935c0 /tests/lean/misc-paper
parente1cba64611fe04dd87f7c54eb92fad2d2a9be4f9 (diff)
Use lower case in the names for the HOL4 backend
Diffstat (limited to 'tests/lean/misc-paper')
0 files changed, 0 insertions, 0 deletions