# HG changeset patch
# User paulson
# Date 814612551 -3600
# Node ID 976f9e19a8284da73241a7d9a168d7585f43f0ae
# Parent  010be89a7541ffac23c9711bc73c56229b168bae
Unused type sequ deleted

diff -r 010be89a7541 -r 976f9e19a828 src/LK/LK.thy
--- a/src/LK/LK.thy	Wed Oct 25 09:50:18 1995 +0100
+++ b/src/LK/LK.thy	Wed Oct 25 10:15:51 1995 +0100
@@ -13,7 +13,7 @@
 default term
 
 types
- o sequence seqobj seqcont sequ sobj
+ o sequence seqobj seqcont sobj
 
 arities
  o :: logic