src/Pure/General/table.ML
changeset 66935 d0f12783cd80
parent 63511 1c2c045decb3
child 67529 37db2dc5c022
     1.1 --- a/src/Pure/General/table.ML	Sun Oct 29 07:46:28 2017 +0100
     1.2 +++ b/src/Pure/General/table.ML	Sun Oct 29 19:39:03 2017 +0100
     1.3 @@ -433,4 +433,3 @@
     1.4  structure Symtab = Table(type key = string val ord = fast_string_ord);
     1.5  structure Symreltab = Table(type key = string * string
     1.6    val ord = prod_ord fast_string_ord fast_string_ord);
     1.7 -