diff --git a/__init__.py b/__init__.py
index bc1ea87..0d4e3f1 100644
--- a/__init__.py
+++ b/__init__.py
@@ -1,4 +1,4 @@
-from stl.stl import terms_lens, lineq_lens, walk, tree, and_or_lens
-from stl.stl import dt_sym, t_sym
-from stl.stl import LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg
+from stl.ast import terms_lens, lineq_lens, walk, tree, and_or_lens
+from stl.ast import dt_sym, t_sym
+from stl.ast import LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg
 from stl.parser import parse
diff --git a/stl.py b/ast.py
similarity index 100%
rename from stl.py
rename to ast.py