diff -r 0c666a0c57d7 -r aef235b965bb thys/BitCoded.thy
--- a/thys/BitCoded.thy	Fri Jan 07 22:25:26 2022 +0000
+++ b/thys/BitCoded.thy	Fri Jan 07 22:28:23 2022 +0000
@@ -1,5 +1,5 @@
 
-theory BitCodedCT
+theory BitCoded
   imports "Lexer" 
 begin