Add exercise ex0
Add exercise ex1
Add proof prop0'
Add print
Add proofs
Add proof ex2
Add list
Add function not
Add inductive False
Remove definitions
Add proofs not
Add comments
Add comments : Define inductive or
Add proofs or
Add comments : Define inductive and
Add proof and
Add proof with auto
Change name
Add proof problem
Add comments