Commits

Show all
Author Commit Message Labels Comments Date
Paweł Wieczorek
minor
Tags
problemtag
Branches
logrel_final
Paweł Wieczorek
minor
Branches
logrel_final
Paweł Wieczorek
fixed old rel_fundamental
Branches
logrel_final
Paweł Wieczorek
Rel_Fundamental_Var done!
Branches
logrel_final
Paweł Wieczorek
working on TmVar in fundamental theorem
Branches
logrel_final
Paweł Wieczorek
Better relations, almost proved ClosedUnderValEnv.
Branches
logrel_final
Paweł Wieczorek
branched
Branches
logrel_final
Paweł Wieczorek
Added tag last_visit for changeset 4701f85b117d
Branches
logrel
Paweł Wieczorek
Removed tag last_visit
Tags
last_visit
Branches
logrel
Paweł Wieczorek
Added tag last_visit for changeset 8df87a3ee374
Branches
logrel
Paweł Wieczorek
Removed tag last_visit
Branches
logrel
Paweł Wieczorek
changes
Branches
logrel
Paweł Wieczorek
hm
Branches
logrel
Paweł Wieczorek
new-theorem-with-admit.
Branches
logrel
Paweł Wieczorek
split in LogRel
Branches
logrel
Paweł Wieczorek
new case
Branches
logrel
Paweł Wieczorek
new-case
Branches
logrel
Paweł Wieczorek
s
Branches
logrel
Paweł Wieczorek
new projections for soundness
Branches
logrel
Paweł Wieczorek
new cases in fundamental lemma
Branches
logrel
Paweł Wieczorek
merge
Branches
logrel
Paweł Wieczorek
closing
Branches
no_eval_Sup
Paweł Wieczorek
removed_evalsb_sup_sid
Branches
no_eval_Sup
Paweł Wieczorek
working_on_fundamental
Branches
logrel
Paweł Wieczorek
admits
Branches
logrel
Paweł Wieczorek
Added tag last_visit for changeset b428c120f4b9
Branches
logrel
Paweł Wieczorek
s
Branches
logrel
Paweł Wieczorek
who is the master?
Branches
logrel
Paweł Wieczorek
merge
Branches
logrel
Paweł Wieczorek
s
Branches
tmabs_type_conv
  1. Prev
  2. Next