History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Isar_Examples/Basic_Logic.thy
Revision Date Author Comments
# 6c0049e7 02-Aug-2016 wenzelm <none@none>

tuned;
# 52140f12 26-Dec-2015 wenzelm <none@none>

misc tuning and modernization;
# 0df376fc 07-Dec-2015 wenzelm <none@none>

isabelle update_cartouches -c -t;
# 2f91a3a6 02-Nov-2015 wenzelm <none@none>

tuned document;
# 889dfa55 02-Nov-2015 wenzelm <none@none>

tuned document;
# ac65fc64 02-Nov-2014 wenzelm <none@none>

modernized header;
# cfacaff4 07-Oct-2014 wenzelm <none@none>

more cartouches;
more antiquotations;
# f1cde695 21-Feb-2014 wenzelm <none@none>

more symbols;
# 98f9c27c 20-Feb-2014 wenzelm <none@none>

tuned proofs;
more symbols;
# 13b6705c 01-Jul-2010 wenzelm <none@none>

misc tuning and modernization;
# 9dd05ded 20-Oct-2009 wenzelm <none@none>

modernized session Isar_Examples;

--HG--
rename : src/HOL/Isar_examples/Basic_Logic.thy => src/HOL/Isar_Examples/Basic_Logic.thy
rename : src/HOL/Isar_examples/Cantor.thy => src/HOL/Isar_Examples/Cantor.thy
rename : src/HOL/Isar_examples/Drinker.thy => src/HOL/Isar_Examples/Drinker.thy
rename : src/HOL/Isar_examples/Expr_Compiler.thy => src/HOL/Isar_Examples/Expr_Compiler.thy
rename : src/HOL/Isar_examples/Fibonacci.thy => src/HOL/Isar_Examples/Fibonacci.thy
rename : src/HOL/Isar_examples/Group.thy => src/HOL/Isar_Examples/Group.thy
rename : src/HOL/Isar_examples/Hoare.thy => src/HOL/Isar_Examples/Hoare.thy
rename : src/HOL/Isar_examples/Hoare_Ex.thy => src/HOL/Isar_Examples/Hoare_Ex.thy
rename : src/HOL/Isar_examples/Knaster_Tarski.thy => src/HOL/Isar_Examples/Knaster_Tarski.thy
rename : src/HOL/Isar_examples/Mutilated_Checkerboard.thy => src/HOL/Isar_Examples/Mutilated_Checkerboard.thy
rename : src/HOL/Isar_examples/Nested_Datatype.thy => src/HOL/Isar_Examples/Nested_Datatype.thy
rename : src/HOL/Isar_examples/Peirce.thy => src/HOL/Isar_Examples/Peirce.thy
rename : src/HOL/Isar_examples/Puzzle.thy => src/HOL/Isar_Examples/Puzzle.thy
rename : src/HOL/Isar_examples/README.html => src/HOL/Isar_Examples/README.html
rename : src/HOL/Isar_examples/ROOT.ML => src/HOL/Isar_Examples/ROOT.ML
rename : src/HOL/Isar_examples/Summation.thy => src/HOL/Isar_Examples/Summation.thy
rename : src/HOL/Isar_examples/document/proof.sty => src/HOL/Isar_Examples/document/proof.sty
rename : src/HOL/Isar_examples/document/root.bib => src/HOL/Isar_Examples/document/root.bib
rename : src/HOL/Isar_examples/document/root.tex => src/HOL/Isar_Examples/document/root.tex
rename : src/HOL/Isar_examples/document/style.tex => src/HOL/Isar_Examples/document/style.tex