/src/HOL/Isar_Examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2015-09-01 22:32 +0200 13996 Basic_Logic.thy
-rw-r--r-- 2015-09-01 22:32 +0200 2399 Cantor.thy
-rw-r--r-- 2015-09-01 22:32 +0200 1449 Drinker.thy
-rw-r--r-- 2015-09-01 22:32 +0200 6901 Expr_Compiler.thy
-rw-r--r-- 2015-09-01 22:32 +0200 5333 Fibonacci.thy
-rw-r--r-- 2015-09-01 22:32 +0200 8613 Group.thy
-rw-r--r-- 2015-09-01 22:32 +0200 2636 Group_Context.thy
-rw-r--r-- 2015-09-01 22:32 +0200 2914 Group_Notepad.thy
-rw-r--r-- 2015-09-01 22:32 +0200 16848 Hoare.thy
-rw-r--r-- 2015-09-01 22:32 +0200 11584 Hoare_Ex.thy
-rw-r--r-- 2015-09-01 22:32 +0200 3804 Knaster_Tarski.thy
-rw-r--r-- 2015-09-01 22:32 +0200 9412 Mutilated_Checkerboard.thy
-rw-r--r-- 2015-09-01 22:32 +0200 1892 Nested_Datatype.thy
-rw-r--r-- 2015-09-01 22:32 +0200 3304 Peirce.thy
-rw-r--r-- 2015-09-01 22:32 +0200 2039 Puzzle.thy
-rw-r--r-- 2015-09-01 22:32 +0200 3085 Structured_Statements.thy
-rw-r--r-- 2015-09-01 22:32 +0200 5113 Summation.thy