database.db
debug/
debug/dialogspeller.obj
debug/learndialog.obj
debug/lession.exe
debug/lession.exe.embed.manifest
debug/lession.exe_manifest.rc
debug/lession.exe_manifest.res
debug/lession.ilk
debug/lession.pdb
debug/main.obj
debug/moc_dialogspeller.cpp
debug/moc_dialogspeller.obj
debug/moc_learndialog.cpp
debug/moc_learndialog.obj
debug/moc_testdialog.cpp
debug/moc_testdialog.obj
debug/moc_unitlession.cpp
debug/moc_unitlession.obj
debug/qrc_icon.cpp
debug/qrc_icon.obj
debug/testdialog.obj
debug/unitlession.obj
dialogspeller.cpp
dialogspeller.h
dialogspeller.ui
icon/
icon.qrc
icon/Boolector.png
icon/copy.png
icon/cut.png
icon/Generate.png
icon/icon.qrc
icon/MiniSat.png
icon/new.png
icon/open.png
icon/paste.png
icon/ReadProperty.png
icon/ReadRTL.png
icon/save.png
icon/Start.png
icon/Stop.png
icon/Verify.png
learndialog.cpp
learndialog.h
learndialog.ui
lession.pro
lession.pro.user
lession.pro.user.fd0c354
main.cpp
Makefile
Makefile.Debug
Makefile.Release
release/
testdialog.cpp
testdialog.h
testdialog.ui
ui_dialogspeller.h
ui_learndialog.h
ui_testdialog.h
ui_unitlession.h
unitlession.cpp
unitlession.h
unitlession.ui