Skip to content
Snippets Groups Projects
user avatar
Felipe Lisboa authored
Requestor_t as an eqType and later instantiated as unit_eqType generated
problems to operate it as a natural number. Hence, the change.
b3736c48
History
Name Last commit Last update
TLAplus
coq
coq2
ddrpal