source:
src/RTL
@
2844
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| RTLToERTLProof.ma | 449 bytes | 2796 | 8 years | * added global notation for existence in Type[1] (\exists[1] x.P) * in … | |
| RTLToERTL.ma | 13.7 KB | 2806 | 8 years | new b_graph_translate obligations | |
| RTL_semantics.ma | 8.2 KB | 2823 | 8 years | * corrected bug in ERTL semantics (both delframe and newframe did the … | |
| RTL.ma | 3.0 KB | 2783 | 8 years | modified joint_closed_internal_function definition (added condition on … | |
Note: See TracBrowser
for help on using the repository browser.
