Hi,

While the QuickGuide document on the web(http://alloy.mit.edu/alloy4/quickguide/seq.html) says there is "butLast" function,
the util/sequniv.als has "butlast" function.

----
fun butlast [s: Int -> univ] : s {
  (seq/Int - lastIdx[s]) <: s
}
----

I suppose this function's name should be "butLast".

Thanks,
Ogasawara