Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-07-23 15:39 32beb92a

View on Github →

refactor(*): tools -> tactic, remove experimental stuff

Estimated changes

deleted def form_of_string
deleted def parser.apply
deleted def parser.chainl1
deleted def parser.chainl1_rest
deleted def parser.chainl
deleted def parser.chainr1
deleted def parser.chainr1_rest
deleted def parser.chainr
deleted def parser.item
deleted def parser.many1
deleted def parser.many
deleted def parser.many_aux
deleted def parser.parse
deleted def parser.sat
deleted def parser.sepby1
deleted def parser.sepby
deleted def parser.space
deleted def parser.symb
deleted def parser.take_char
deleted def parser.take_string
deleted def parser.token
deleted def parser
deleted def parser_bind
deleted def parser_fmap
deleted def parser_pure
deleted theorem {u
deleted theorem {u}