max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/library/tactic
History
Leonardo de Moura 62116f5b4b feat(library/tactic): add 'revert' tactic
2016-06-11 10:12:43 -07:00
..
assumption_tactic.cpp feat(library/tactic): assumption tactic 2016-06-10 18:29:41 -07:00
assumption_tactic.h feat(library/tactic): assumption tactic 2016-06-10 18:29:41 -07:00
CMakeLists.txt feat(library/tactic): add 'revert' tactic 2016-06-11 10:12:43 -07:00
init_module.cpp feat(library/tactic): add 'revert' tactic 2016-06-11 10:12:43 -07:00
init_module.h feat(library/tactic): add tactic_state 2016-06-08 15:12:22 -07:00
intro_tactic.cpp feat(library/tactic): intro_tactic and variants 2016-06-10 18:29:41 -07:00
intro_tactic.h feat(library/tactic): init intro tactic 2016-06-10 18:29:19 -07:00
revert_tactic.cpp feat(library/tactic): add 'revert' tactic 2016-06-11 10:12:43 -07:00
revert_tactic.h feat(library/tactic): add 'revert' tactic 2016-06-11 10:12:43 -07:00
tactic_state.cpp feat(library/tactic): add 'revert' tactic 2016-06-11 10:12:43 -07:00
tactic_state.h feat(library/tactic): add 'revert' tactic 2016-06-11 10:12:43 -07:00