Merge branch 'master' into development
raw exc2
re to cfg
temp commit (by cron)
Merge branch 'master' into development
temp commit (by cron)
sol 1+2+4
sol 1+2+4
tm-add
tm-add
tm-mul
tm-mul
pumping lemma + ex5
ex6 + done
final ex2
sol exc2