Seq.thy
2012-08-29 urbanc some addition to the MN-paper
less more (0) tip