Leonardo de Moura a29e81b0b6 test: add registerTraceClass test		2021-09-16 06:52:58 -07:00
..
BlaExt.lean	feat: user-defined environment extensions	2021-07-26 16:18:48 -07:00
FooExt.lean	test: add registerTraceClass test	2021-09-16 06:52:58 -07:00
Tst1.lean
Tst2.lean