gitignore : log, aux
intialization of math and logic theory document