database.db

debug

.....\dialogspeller.obj

.....\learndialog.obj

.....\lession.exe

.....\lession.exe.embed.manifest

.....\lession.exe_manifest.rc

.....\lession.exe_manifest.res

.....\lession.ilk

.....\lession.pdb

.....\main.obj

.....\moc_dialogspeller.cpp

.....\moc_dialogspeller.obj

.....\moc_learndialog.cpp

.....\moc_learndialog.obj

.....\moc_testdialog.cpp

.....\moc_testdialog.obj

.....\moc_unitlession.cpp

.....\moc_unitlession.obj

.....\qrc_icon.cpp

.....\qrc_icon.obj

.....\testdialog.obj

.....\unitlession.obj

dialogspeller.cpp

dialogspeller.h

dialogspeller.ui

icon

icon.qrc

....\Boolector.png

....\copy.png

....\cut.png

....\Generate.png

....\icon.qrc

....\MiniSat.png

....\new.png

....\open.png

....\paste.png

....\ReadProperty.png

....\ReadRTL.png

....\save.png

....\Start.png

....\Stop.png

....\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