Commit f933a576 authored by Benedikt Becker's avatar Benedikt Becker

Revert +6936e73c (extract `list.Nth.nth`)

Fixes #178
parent 50714c57
......@@ -52,10 +52,6 @@ theory list.Mem
syntax predicate mem "List.mem %1 %2"
end
theory list.Nth
syntax function nth "List.nth %1 %2"
end
theory list.Append
syntax function (++) "List.append %1 %2"
end
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment