Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-06 03:44 28e011d4

View on Github →

feat(tactic/cache): split cache related tactics off from tactic.interactive

Estimated changes

Modified data/option.lean

Modified logic/basic.lean

added theorem not_iff

Created tactic/cache.lean

Modified tactic/interactive.lean

deleted theorem tactic.interactive.iff.trans

deleted theorem tactic.interactive.imp.swap

deleted theorem tactic.interactive.imp_not_comm

deleted theorem tactic.interactive.not_and_distrib'

deleted theorem tactic.interactive.not_and_distrib

deleted theorem tactic.interactive.not_and_of_not_or_not

deleted theorem tactic.interactive.not_or_distrib

deleted theorem tactic.interactive.or_iff_not_imp_left

deleted theorem tactic.interactive.or_iff_not_imp_right

Modified tests/examples.lean