Commit beb92d5

committed

dumb replacement of the lemma statement generation

1 parent 7490136 commit beb92d5Copy full SHA for beb92d5

2 files changed

+695

-493

lines changed

theories
- Algorithmic
  - BundledAlgorithmicTyping.v
- Decidability
  - Termination.v

2 files changed

+695

-493

lines changed

Comments

(0)