Log in
Mordor OpenTheory Repo
packages
•
recent
•
upload
Package list-def-1.11
Information
versions
1.7
→
1.9
→
1.10
→
1.11
→
1.29
→
1.35
→
···
→
1.63
description
list-def
author
Joe Hurd <joe@gilith.com>
license
HOLLight
installed
17:38:30 on Thursday 22 September 2011
For more details see the
package document
.
Included By
list-1.19
— Basic theory of list types
list-1.20
— Standard theory of lists