diff options
Diffstat (limited to '')
| -rw-r--r-- | spartan/data/List.thy | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/spartan/data/List.thy b/spartan/data/List.thy new file mode 100644 index 0000000..71a879b --- /dev/null +++ b/spartan/data/List.thy @@ -0,0 +1,6 @@ +theory List +imports Spartan + +begin + +end |