- 06 Mar, 2019 1 commit
-
-
Hai Dang authored
-
- 21 Feb, 2019 1 commit
-
-
Ralf Jung authored
-
- 15 Feb, 2018 1 commit
-
-
Ralf Jung authored
-
- 03 Feb, 2018 1 commit
-
-
Ralf Jung authored
-
- 28 Nov, 2017 1 commit
-
-
Ralf Jung authored
-
- 11 Nov, 2017 1 commit
-
-
Ralf Jung authored
-
- 10 Nov, 2017 2 commits
-
-
Janno authored
Get rid of `%C` scopes. See merge request FP/sra-gps!14
-
Robbert Krebbers authored
As already done at most places, only open `uPred_scope` arround definitions. That way there is no need for `%C` scopes in lemmas anymore.
-
- 09 Nov, 2017 1 commit
-
-
Hai Dang authored
-
- 08 Nov, 2017 2 commits
- 07 Nov, 2017 2 commits
- 06 Nov, 2017 1 commit
-
-
Hai Dang authored
-
- 04 Nov, 2017 1 commit
-
-
Hai Dang authored
-
- 03 Nov, 2017 1 commit
-
-
Ralf Jung authored
-
- 02 Nov, 2017 1 commit
-
-
Hai Dang authored
-
- 30 Oct, 2017 5 commits
- 29 Oct, 2017 8 commits
- 28 Oct, 2017 3 commits
- 27 Oct, 2017 6 commits
- 26 Oct, 2017 1 commit
-
-
Hai Dang authored
-