kif#nil  the list that has no items; the uniqueness of null_list follows from the extensionality of lists, i.e. the fact that two lists with the same items in the same order are identical
  equal:  null_list (pm)  nil (pm)
  type:  null__null_list  type of empty lists

No statement uses or specializes null_list; click here to add one.