100644 blob 2db452b8acf535d42524cd4803e19c18fcc5463e	category_of.html
100644 blob 65d50f237e34e28b50f64054fbab6d75d48f9a9a	deduce.html
100644 blob 2ffd7ed3b831c307648ea5eca36c93f392c4be9e	deduce_sequence.html
100644 blob 7e97674f7f0b458384323ec3a78eb778e455e829	is_sequence.html
100644 blob 28fc57002440c5b00bf550a77da9131a8fe15b4b	is_view.html
100644 blob e00d3779cd4b44e1ae58bf83522d088a643a07a6	pair.html
100644 blob b0f627896902ff511fecaf1085698c5a9aceadc4	tag_of.html