lean4-htt/src/kernel/quotient
Leonardo de Moura b69e2006f5 chore(kernel/quotient/quotient): update comments
The comments were written before the Type => Sort change
2017-03-07 14:11:51 -08:00
..
CMakeLists.txt feat(CMakeLists): add shared library 2015-08-13 11:21:05 -07:00
quotient.cpp chore(kernel/quotient/quotient): update comments 2017-03-07 14:11:51 -08:00
quotient.h chore(kernel/quotient/quotient): fix style 2017-01-31 10:20:55 +01:00