Lines Matching defs:ns
87 val ns = ["Data","List"]
88 val _ = OpenTheory_tyop_name{tyop={Thy="list",Tyop="list"},name=(ns,"list")}
89 val _ = OpenTheory_const_name{const={Thy="list",Name="APPEND"},name=(ns,"@")}
90 val _ = OpenTheory_const_name{const={Thy="list",Name="CONS"},name=(ns,"::")}
91 val _ = OpenTheory_const_name{const={Thy="list",Name="HD"},name=(ns,"head")}
92 val _ = OpenTheory_const_name{const={Thy="list",Name="EVERY"},name=(ns,"all")}
93 val _ = OpenTheory_const_name{const={Thy="list",Name="EXISTS"},name=(ns,"any")}
94 val _ = OpenTheory_const_name{const={Thy="list",Name="FILTER"},name=(ns,"filter")}
95 val _ = OpenTheory_const_name{const={Thy="list",Name="FLAT"},name=(ns,"concat")}
96 val _ = OpenTheory_const_name{const={Thy="list",Name="LENGTH"},name=(ns,"length")}
97 val _ = OpenTheory_const_name{const={Thy="list",Name="MAP"},name=(ns,"map")}
98 val _ = OpenTheory_const_name{const={Thy="list",Name="NIL"},name=(ns,"[]")}
99 val _ = OpenTheory_const_name{const={Thy="list",Name="REVERSE"},name=(ns,"reverse")}
100 val _ = OpenTheory_const_name{const={Thy="list",Name="TAKE"},name=(ns,"take")}
101 val _ = OpenTheory_const_name{const={Thy="list",Name="TL"},name=(ns,"tail")}