Closed rmatthes closed 6 years ago
meant to do the transition to Coq 8.8.1, but also just in order to compile the unfinished queues.v and to give a bit more type info in some defs.
meant to do the transition to Coq 8.8.1, but also just in order to compile the unfinished queues.v and to give a bit more type info in some defs.