summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-polonius_list/Holmakefile
diff options
context:
space:
mode:
authorGuillaume Boisseau2024-05-06 13:17:45 +0000
committerGitHub2024-05-06 13:17:45 +0000
commita935064196f7fcc65355726a523508f4317d16ee (patch)
treed03ee22990ffa3780d8b3316dc0fd7249c76b6aa /tests/hol4/misc-polonius_list/Holmakefile
parente2983a390de8758640d9e526e1bb9f908813891e (diff)
parent8cd1eede6d9fd4c979cf01b48536dfda6b2e6bd6 (diff)
Merge pull request #166 from AeneasVerif/afromher/traits
Propagate handling of (unsupported) mutually recursive trait declarations
Diffstat (limited to 'tests/hol4/misc-polonius_list/Holmakefile')
0 files changed, 0 insertions, 0 deletions