# HG changeset patch
# User huffman
# Date 1207712654 -7200
# Node ID a2255b130fd9f836989c521976f35f92be25f423
# Parent 3bf2ebb7148e9b169d5ec0b4f7eb043435c4ea0d
fix spelling
diff -r 3bf2ebb7148e -r a2255b130fd9 src/HOL/Library/Heap.thy
--- a/src/HOL/Library/Heap.thy Wed Apr 09 05:31:04 2008 +0200
+++ b/src/HOL/Library/Heap.thy Wed Apr 09 05:44:14 2008 +0200
@@ -134,7 +134,7 @@
text {*
References and arrays are developed in parallel,
- but keeping them seperate makes some later proofs simpler.
+ but keeping them separate makes some later proofs simpler.
*}
subsubsection {* Primitive operations *}