changeset 110:fb3e0d320df6

Renamed theory to match filename
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 11 Aug 2009 11:22:42 +0200
parents 60e3bf58f227
children 442a87dc1f76
files proof_binary.thy
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/proof_binary.thy	Mon Aug 10 10:18:10 2009 +0200
+++ b/proof_binary.thy	Tue Aug 11 11:22:42 2009 +0200
@@ -1,4 +1,4 @@
-theory Binary
+theory proof_binary
 imports Main
 begin