diff --git a/python/README.txt b/src/python/README.txt
similarity index 100%
rename from python/README.txt
rename to src/python/README.txt
diff --git a/python/example.py b/src/python/example.py
similarity index 100%
rename from python/example.py
rename to src/python/example.py
diff --git a/python/z3.py b/src/python/z3.py
similarity index 100%
rename from python/z3.py
rename to src/python/z3.py
diff --git a/python/z3consts.py b/src/python/z3consts.py
similarity index 100%
rename from python/z3consts.py
rename to src/python/z3consts.py
diff --git a/python/z3core.py b/src/python/z3core.py
similarity index 100%
rename from python/z3core.py
rename to src/python/z3core.py
diff --git a/python/z3poly.py b/src/python/z3poly.py
similarity index 100%
rename from python/z3poly.py
rename to src/python/z3poly.py
diff --git a/python/z3printer.py b/src/python/z3printer.py
similarity index 100%
rename from python/z3printer.py
rename to src/python/z3printer.py
diff --git a/python/z3tactics.py b/src/python/z3tactics.py
similarity index 100%
rename from python/z3tactics.py
rename to src/python/z3tactics.py
diff --git a/python/z3test.py b/src/python/z3test.py
similarity index 100%
rename from python/z3test.py
rename to src/python/z3test.py
diff --git a/python/z3types.py b/src/python/z3types.py
similarity index 100%
rename from python/z3types.py
rename to src/python/z3types.py