pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-11-28 07:16:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

OperationalSemantics_template

Browse source
This commit is contained in:
Adam Chlipala 2016-02-29 09:03:15 -05:00
parent 64516f784a
commit c4d622f7a1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
_CoqProject
View file

@ -14,4 +14,5 @@ TransitionSystems_template.v
TransitionSystems.v TransitionSystems.v
ModelChecking_template.v ModelChecking_template.v
ModelChecking.v ModelChecking.v
OperationalSemantics_template.v
OperationalSemantics.v OperationalSemantics.v