Commits

Show all
Author Commit Message Labels Comments Date
Paweł Wieczorek
Removed tag release_2011_11_10
Tags
release_2011_11_19
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Added tag release_2011_11_10 for changeset 3191740282de
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
minor
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
minor
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Code: new extracted evaluator
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: a lot of fixes ;]
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: added helper FUN_SB
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: added Helper_FUN3
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: added tactic build_valenv
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Syntax.System: fixes...
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Added tag coq_internal_error for changeset 87091870edf1
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: removed extensionality from Soundness theorem
Tags
coq_internal_error
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: Partial script for EQ_SBAPP
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: removed Beta rule from Soundness thoerem
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: removed SB_EXT rule from Model soundness theorem
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: removed SB rule from Soundness_theorem
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
minor
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: Beta-reduction, Extensionality
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: Helper for SB_EXT
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: Helper for SB
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Fixes in system.
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: a lot of rules with admits
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Syntax.System: a lot of fixes
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: EQ_CONG_SB
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: removed SB_F from theorem
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: SB_F as Helper
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: another helper EQ_TP_VALID
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: EQ_SB_SYM and EQ_SB_TRANS as helpers
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Syntax.System: fixes...
Branches
2011_11_16_model_soundness_theorem
Paweł Wieczorek
Model.Valid: EQ_CONG_FUN_E
Branches
2011_11_16_model_soundness_theorem
  1. Prev
  2. Next