- 25 Jul, 2016 1 commit
-
-
Robbert Krebbers authored
-
- 22 Jul, 2016 2 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Similar files (gmap, listset, ...) were already in singular form and matched the name of the set/map data type.
-
- 27 May, 2016 1 commit
-
-
Robbert Krebbers authored
-
- 27 Feb, 2016 1 commit
-
-
Robbert Krebbers authored
-
- 17 Feb, 2016 2 commits
-
-
Robbert Krebbers authored
simplify_equality => simplify_eq simplify_equality' => simplify_eq/= simplify_map_equality => simplify_map_eq simplify_map_equality' => simplify_map_eq/= simplify_option_equality => simplify_option_eq simplify_list_equality => simplify_list_eq f_equal' => f_equal/= The /= suffixes (meaning: do simpl) are inspired by ssreflect.
-
Robbert Krebbers authored
-
- 16 Feb, 2016 1 commit
-
-
Robbert Krebbers authored
-
- 13 Feb, 2016 1 commit
-
-
Robbert Krebbers authored
Also, make our redefinition of done more robust under different orders of Importing modules.
-
- 09 Feb, 2016 2 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- 16 Jan, 2016 2 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 15 Dec, 2015 1 commit
-
-
Robbert Krebbers authored
-
- 11 Dec, 2015 1 commit
-
-
Robbert Krebbers authored
-
- 18 Nov, 2015 2 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
