-
Heiko Becker authored
Refactor exp type into expr type because of name clash with new coq version, move ExpOrderedType module into separate file
4c69ae3a
Refactor exp type into expr type because of name clash with new coq version, move ExpOrderedType module into separate file