Merge branch 'helping' of gitlab.mpi-sws.org:iris/reloc into helping (d21a30f6) · Commits · Iris / ReLoC · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

ReLoC
- Activity
- Members
- Labels
- Releases
- Model registry
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

d21a30f6

Commit d21a30f6 authored 5 years ago by Dan Frumin

Downloads
- Plain Diff

Merge branch 'helping' of gitlab.mpi-sws.org:iris/reloc into helping

parents df8eeea0 3266aca9

No related branches found

No related tags found

No related merge requests found

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

opam 1 addition, 1 deletion

opam
theories/experimental/helping/helping_stack.v 6 additions, 15 deletions

theories/experimental/helping/helping_stack.v
theories/logic/proofmode/spec_tactics.v 6 additions, 6 deletions

theories/logic/proofmode/spec_tactics.v
theories/logic/proofmode/tactics.v 9 additions, 9 deletions

theories/logic/proofmode/tactics.v
theories/logic/rules.v 7 additions, 7 deletions

theories/logic/rules.v
theories/logic/spec_rules.v 4 additions, 4 deletions

theories/logic/spec_rules.v
theories/typing/fundamental.v 1 addition, 1 deletion

theories/typing/fundamental.v

with 34 additions and 43 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment