Change nat to int in logrel
parent
6d20f91e
No related branches found
No related tags found
Showing
- theories/logrel/F_mu_ref_conc/binary/context_refinement.v 16 additions, 8 deletionstheories/logrel/F_mu_ref_conc/binary/context_refinement.v
- theories/logrel/F_mu_ref_conc/binary/examples/counter.v 15 additions, 15 deletionstheories/logrel/F_mu_ref_conc/binary/examples/counter.v
- theories/logrel/F_mu_ref_conc/binary/examples/fact.v 27 additions, 24 deletionstheories/logrel/F_mu_ref_conc/binary/examples/fact.v
- theories/logrel/F_mu_ref_conc/binary/fundamental.v 40 additions, 14 deletionstheories/logrel/F_mu_ref_conc/binary/fundamental.v
- theories/logrel/F_mu_ref_conc/binary/logrel.v 35 additions, 4 deletionstheories/logrel/F_mu_ref_conc/binary/logrel.v
- theories/logrel/F_mu_ref_conc/binary/rules.v 10 additions, 2 deletionstheories/logrel/F_mu_ref_conc/binary/rules.v
- theories/logrel/F_mu_ref_conc/lang.v 34 additions, 17 deletionstheories/logrel/F_mu_ref_conc/lang.v
- theories/logrel/F_mu_ref_conc/typing.v 18 additions, 8 deletionstheories/logrel/F_mu_ref_conc/typing.v
- theories/logrel/F_mu_ref_conc/unary/examples/symbol_nat.v 4 additions, 3 deletionstheories/logrel/F_mu_ref_conc/unary/examples/symbol_nat.v
- theories/logrel/F_mu_ref_conc/unary/fundamental.v 27 additions, 9 deletionstheories/logrel/F_mu_ref_conc/unary/fundamental.v
- theories/logrel/F_mu_ref_conc/unary/logrel.v 2 additions, 2 deletionstheories/logrel/F_mu_ref_conc/unary/logrel.v
- theories/logrel/F_mu_ref_conc/wp_rules.v 30 additions, 4 deletionstheories/logrel/F_mu_ref_conc/wp_rules.v
Loading
Please register or sign in to comment