added Isar_examples/MutilatedCheckerboard.thy;
authorwenzelm
Sun Aug 29 17:52:44 1999 +0200 (1999-08-29)
changeset 73839c4ef0d3f36c
parent 7382 33c01075d343
child 7384 33c976216121
added Isar_examples/MutilatedCheckerboard.thy;
src/HOL/IsaMakefile
src/HOL/Isar_examples/MutilatedCheckerboard.thy
     1.1 --- a/src/HOL/IsaMakefile	Sun Aug 29 17:47:26 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sun Aug 29 17:52:44 1999 +0200
     1.3 @@ -332,8 +332,8 @@
     1.4  $(LOG)/HOL-Isar_examples.gz: $(OUT)/HOL Isar_examples/BasicLogic.thy \
     1.5    Isar_examples/Cantor.ML Isar_examples/Cantor.thy \
     1.6    Isar_examples/ExprCompiler.thy Isar_examples/Group.thy \
     1.7 -  Isar_examples/KnasterTarski.thy Isar_examples/NatSum.thy \
     1.8 -  Isar_examples/Peirce.thy Isar_examples/ROOT.ML
     1.9 +  Isar_examples/KnasterTarski.thy Isar_examples/MutilatedCheckerboard.thy \
    1.10 +  Isar_examples/NatSum.thy Isar_examples/Peirce.thy Isar_examples/ROOT.ML
    1.11  	@$(ISATOOL) usedir $(OUT)/HOL Isar_examples
    1.12  
    1.13  
     2.1 --- a/src/HOL/Isar_examples/MutilatedCheckerboard.thy	Sun Aug 29 17:47:26 1999 +0200
     2.2 +++ b/src/HOL/Isar_examples/MutilatedCheckerboard.thy	Sun Aug 29 17:52:44 1999 +0200
     2.3 @@ -277,4 +277,4 @@
     2.4  qed;
     2.5  
     2.6  
     2.7 -end;
     2.8 \ No newline at end of file
     2.9 +end;