/src/HOL/Isar_Examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2014-09-11 18:54 +0200 13529 Basic_Logic.thy
-rw-r--r-- 2014-09-11 18:54 +0200 2326 Cantor.thy
-rw-r--r-- 2014-09-11 18:54 +0200 1379 Drinker.thy
-rw-r--r-- 2014-09-11 18:54 +0200 6764 Expr_Compiler.thy
-rw-r--r-- 2014-09-11 18:54 +0200 5194 Fibonacci.thy
-rw-r--r-- 2014-09-11 18:54 +0200 8432 Group.thy
-rw-r--r-- 2014-09-11 18:54 +0200 2608 Group_Context.thy
-rw-r--r-- 2014-09-11 18:54 +0200 2886 Group_Notepad.thy
-rw-r--r-- 2014-09-11 18:54 +0200 16593 Hoare.thy
-rw-r--r-- 2014-09-11 18:54 +0200 11398 Hoare_Ex.thy
-rw-r--r-- 2014-09-11 18:54 +0200 3628 Knaster_Tarski.thy
-rw-r--r-- 2014-09-11 18:54 +0200 9194 Mutilated_Checkerboard.thy
-rw-r--r-- 2014-09-11 18:54 +0200 1884 Nested_Datatype.thy
-rw-r--r-- 2014-09-11 18:54 +0200 3215 Peirce.thy
-rw-r--r-- 2014-09-11 18:54 +0200 2118 Puzzle.thy
-rw-r--r-- 2014-09-11 18:54 +0200 5040 Summation.thy