Skip to content

Commit

Permalink
new file in coqproject
Browse files Browse the repository at this point in the history
  • Loading branch information
Nicolas Nardino committed Feb 28, 2024
1 parent 2bf052b commit add01c7
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions _CoqProject
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@ theories/lib/iter.v

theories/examples/delim_lang/lang.v
theories/examples/delim_lang/interp.v
theories/examples/delim_lang/tactics.v
theories/examples/delim_lang/example.v

theories/examples/input_lang_callcc/lang.v
Expand Down

0 comments on commit add01c7

Please sign in to comment.