Leonardo de Moura b62abf0f06 refactor(library/tactic/goal): remove redundance, goal pp method was duplicating some of the functionality provided by the pretty printer ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2014-07-10 18:59:03 +01:00
..
old
slow
ac.lua
acc.lua
alias1.lua
alias2.lua
alias3.lua
big.lua
choice.lua
choice2.lua
cnstr1.lua
coe1.lua
coe2.lua
coe3.lua
coe4.lua
coe5.lua
def1.lua
env1.lua
env2.lua
env3.lua
env4.lua
env5.lua
env6.lua
env7.lua
env8.lua
env9.lua
env10.lua
env11.lua
eta.lua
explicit.lua
expr1.lua
expr2.lua
expr3.lua
expr4.lua
expr7.lua
expr8.lua
expr9.lua
expr10.lua
expr11.lua
extra.lua
format1.lua
format2.lua
format3.lua
free.lua
glvl1.lua
goal1.lua
hott1.lua
implua.lua
ind1.lua
ind2.lua
ind3.lua
ind4.lua
ind5.lua
ind6.lua
ind_ex.lua
ind_tricky.lua
int1.lua
jst1.lua
level1.lua
level2.lua
level3.lua
level4.lua
level5.lua
level6.lua
level7.lua
level8.lua
level9.lua
map2.lua
mod1.lua
mod3.lua
mod3_corrupted1.olean
mod3_corrupted2.olean
mod3_corrupted3.olean
mod3_corrupted4.olean
mod3b.lua
mod4.lua
mod5.lua
mpz1.lua
mpz2.lua
n1.lua
n2.lua
n3.lua
n5.lua
n6.lua
n7.lua
name1.lua
name_gen1.lua
ns1.lua
ns2.lua
num1.lua
opt1.lua
opt2.lua
opt3.lua
opt4.lua
parse_table.lua
place1.lua
place2.lua
proof_state1.lua
prv.lua
replace1.lua
res1.lua
scope.lua
sexpr1.lua
sexpr2.lua
sexpr3.lua
sexpr4.lua
sexpr5.lua
sexpr_bug1.lua
simple.lua
sorted.lua
subst1.lua
tactic1.lua
tag1.lua
tc1.lua
tc2.lua
tc3.lua
tc4.lua
tc5.lua
tc6.lua
tc7.lua
tc8.lua
tc_bug1.lua
test.sh
test_single.sh
token_table.lua
unify1.lua
unify2.lua
unify3.lua
unify4.lua
unify5.lua
unify6.lua
unify7.lua
yield.lua