3 commits

Author	SHA1	Message	Date
Sebastian Ullrich	a3a8d76e96	chore: move pp_options.cpp to Lean	2021-01-27 14:16:12 +01:00
Leonardo de Moura	898a08a0c1	chore: avoid Has prefix in type classes ... closes #203	2020-10-27 18:29:19 -07:00
Leonardo de Moura	352e568b15	doc: zmod example	2019-11-18 12:45:53 -08:00