equal
deleted
inserted
replaced
1 List = FOL + |
1 List = FOL + |
2 types list 1 |
2 types list 1 |
3 arities list :: (term)term |
3 arities list :: (term)term |
4 consts Nil :: "'a list" |
4 consts Nil :: "'a list" |
5 Cons :: "['a, 'a list] => 'a list" |
5 Cons :: "['a, 'a list] => 'a list" |
6 end |
6 end |