Marianna Rapoport authored 6 years ago and Ralf Jung committed 6 years ago

- Removing admitted prophecy spec and making prophecy-related examples (coin-flip and atomic-pair-snapshot) work with the new prophecy support in heap_lang
- Adjusting heap_lang tactics for automation of substitution, closedness, etc. to support prophecy syntax
- Adding notation for prophecy syntax