Use notations for types in the examples
Showing
- theories/examples/bit.v 1 addition, 3 deletionstheories/examples/bit.v
- theories/examples/cell.v 3 additions, 3 deletionstheories/examples/cell.v
- theories/examples/namegen.v 3 additions, 2 deletionstheories/examples/namegen.v
- theories/examples/stack/refinement.v 4 additions, 4 deletionstheories/examples/stack/refinement.v
- theories/examples/symbol.v 6 additions, 5 deletionstheories/examples/symbol.v
- theories/examples/ticket_lock.v 10 additions, 8 deletionstheories/examples/ticket_lock.v
- theories/lib/counter.v 1 addition, 1 deletiontheories/lib/counter.v
- theories/typing/fundamental.v 18 additions, 19 deletionstheories/typing/fundamental.v
- theories/typing/interp.v 2 additions, 2 deletionstheories/typing/interp.v
- theories/typing/types.v 7 additions, 7 deletionstheories/typing/types.v
Loading
Please register or sign in to comment