Leonardo de Moura 67fb78bb47 chore(*): renaming files		2019-03-21 15:06:44 -07:00
..
basic.lean
combinators.lean
command.lean
declaration.lean
identifier.lean
level.lean
module.lean
notation.lean
parsec.lean
pratt.lean
rec.lean
stringLiteral.lean
syntax.lean
term.lean
token.lean
trie.lean