Richard Zach submitted the
ptolemaicastronomy
package.
Version number: 1.0 License type: lppl1.3c
Summary description: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
Announcement text: ----------------------------------------------------------------------
David K. Lewis (Counterfactuals, Blackwell 1973) introduced a sphere semantics for counterfactual conditionals. He jokingly referred to the diagrams depicting such sphere models as Ptolemaic astronomy, hence the name of this package. The macros provided in this package aid in the construction of sphere model diagrams in the style of Lewis. The macros all make use of TikZ.
----------------------------------------------------------------------
This package is located at http://mirror.ctan.org/graphics/pgf/contrib/ptolemaicastronomy
More information is at https://www.ctan.org/pkg/ptolemaicastronomy
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Manfred Lotz
We are supported by the TeX user groups. Please join a users group; see http://www.tug.org/usergroups.html .