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