# HG changeset patch
# User blanchet
# Date 1392190648 -3600
# Node ID 8b7c7157fa11232be7bdb91ef0f1e161ea7c3463
# Parent  9f25e0cca2547ac956421d4238a3af8199a0e8d3
tabled, v.: postpone consideration of

diff -r 9f25e0cca254 -r 8b7c7157fa11 src/HOL/Library/Transitive_Closure_Table.thy
--- a/src/HOL/Library/Transitive_Closure_Table.thy	Wed Feb 12 08:37:28 2014 +0100
+++ b/src/HOL/Library/Transitive_Closure_Table.thy	Wed Feb 12 08:37:28 2014 +0100
@@ -1,6 +1,6 @@
 (* Author: Stefan Berghofer, Lukas Bulwahn, TU Muenchen *)
 
-header {* A tabled implementation of the reflexive transitive closure *}
+header {* A table-based implementation of the reflexive transitive closure *}
 
 theory Transitive_Closure_Table
 imports Main