Commits

Show all
Author Commit Message Labels Comments Date
Paweł Wieczorek
Model.Terminating: added Completeness for NBE
Tags
release_2011_10_24
Paweł Wieczorek
Model.Valid: added EQ_SYM and EQ_TRANS
Paweł Wieczorek
Model.Valid: minor change in comment
Paweł Wieczorek
Model.Terminating: fixed theorem about terminating
Paweł Wieczorek
Nbe.Terminating: removed Types_Contain_Ne
Paweł Wieczorek
Nbe.Terminating: renamed UpDown to ReflectReify_Characterization and added projections
Paweł Wieczorek
Model.Terminating: finished characterization of reflect/reify
Paweł Wieczorek
* Model.Valid: fixes after changes in PerNat/PerUnit
Paweł Wieczorek
* Model.Interp: PerNat and PerUnit support PerNe
Paweł Wieczorek
* some mess
Paweł Wieczorek
* changed README
Paweł Wieczorek
* Model.Interp: PerNf is PER instance
Paweł Wieczorek
* Model.Interp: added PerNe back
Paweł Wieczorek
* Model.Terminating: added 'Types_Contains_Ne`
Paweł Wieczorek
* minor changes
Paweł Wieczorek
* minor changes
Paweł Wieczorek
* model soundness: +SUP
Paweł Wieczorek
* model soundness: +SID
Paweł Wieczorek
* minor changes
Paweł Wieczorek
* added CONV to model soundness theorem
Paweł Wieczorek
* changed order of arguments in ValEnv definition
Paweł Wieczorek
* ValEnv is PER under valid context
Paweł Wieczorek
* added format in ValEnv notation
Paweł Wieczorek
* added SB rule to model soundness
Paweł Wieczorek
* fixed EQ_FUN_eta rule in .tex
Paweł Wieczorek
* fixed SB rule
Paweł Wieczorek
* Interp is proper functor over PerType
Paweł Wieczorek
Added tag release_2011_10_19 for changeset 920948842220
Paweł Wieczorek
* minor
Tags
release_2011_10_19
Paweł Wieczorek
* .
  1. Prev
  2. Next