Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
FOL.thy		FOL.thy
Isar_Demo.thy		Isar_Demo.thy
Isar_Demo.thy~		Isar_Demo.thy~
Isar_exercises.thy		Isar_exercises.thy
Isar_references.thy		Isar_references.thy
Lecture14.thy		Lecture14.thy
Lecture8.thy		Lecture8.thy
Lecture8.thy~		Lecture8.thy~
Predicate Logic.pdf		Predicate Logic.pdf
Prop.thy		Prop.thy
Prop.thy~		Prop.thy~
Propositional Logic.pdf		Propositional Logic.pdf
README.md		README.md
Riddle - Rich Grandfather.pdf		Riddle - Rich Grandfather.pdf
Scratch.thy		Scratch.thy
Tut4Practice.thy		Tut4Practice.thy
book.thy		book.thy
book.thy~		book.thy~
isar.thy		isar.thy
predicateLogic.thy		predicateLogic.thy
predicateLogic.thy~		predicateLogic.thy~
propositionalLogic.thy		propositionalLogic.thy
riddle.thy		riddle.thy
riddle.thy~		riddle.thy~
tut2.thy		tut2.thy
tut2.thy~		tut2.thy~
tut3.thy		tut3.thy
tut3.thy~		tut3.thy~
tut3sol.thy		tut3sol.thy
tut4.thy		tut4.thy
tut4.thy~		tut4.thy~
tut4sol.thy		tut4sol.thy
tut4sol.thy~		tut4sol.thy~
tut6.thy		tut6.thy

Provide feedback

Saved searches