for some reason, it suddenly stopped compiling...
Showing
- README.md 4 additions, 2 deletionsREADME.md
- _CoqProject 15 additions, 10 deletions_CoqProject
- theories/Relational/GenericRulesSimple.v 3 additions, 1 deletiontheories/Relational/GenericRulesSimple.v
- theories/Relational/RelationalState.v 1 addition, 0 deletionstheories/Relational/RelationalState.v
Loading
Please register or sign in to comment