equal
deleted
inserted
replaced
236 "==>" > "op -->" |
236 "==>" > "op -->" |
237 "=" > "op =" |
237 "=" > "op =" |
238 "<=" > "HOLLight.hollight.<=" |
238 "<=" > "HOLLight.hollight.<=" |
239 "<" > "HOLLight.hollight.<" |
239 "<" > "HOLLight.hollight.<" |
240 "/\\" > "op &" |
240 "/\\" > "op &" |
241 "-" > "HOL.minus_class.minus" :: "nat => nat => nat" |
241 "-" > "Algebras.minus_class.minus" :: "nat => nat => nat" |
242 "," > "Pair" |
242 "," > "Pair" |
243 "+" > "HOL.plus_class.plus" :: "nat => nat => nat" |
243 "+" > "Algebras.plus_class.plus" :: "nat => nat => nat" |
244 "*" > "HOL.times_class.times" :: "nat => nat => nat" |
244 "*" > "Algebras.times_class.times" :: "nat => nat => nat" |
245 "$" > "HOLLight.hollight.$" |
245 "$" > "HOLLight.hollight.$" |
246 "!" > "All" |
246 "!" > "All" |
247 |
247 |
248 const_renames |
248 const_renames |
249 "ALL" > "ALL_list" |
249 "ALL" > "ALL_list" |