Leonardo de Moura 9765151156 feat(kernel/inductive): relax restriction on metavariables ... This change does not affect correctness of the kernel, since QED only process terms that do not contain metavariables.		2016-09-13 13:50:04 -07:00
..
lean	feat(kernel/inductive): relax restriction on metavariables	2016-09-13 13:50:04 -07:00
lean_before_refactoring	chore(library, tests): use new attribute chaining syntax	2016-08-16 13:49:03 -07:00