I'd like to use the set theory portion of set.mm as a starting point for another theorem database. However, set.mm is several megabytes large, and I don't need most of it. Has anyone made a condensed version of it that only includes the "essential" parts of propositional logic and set theory, or should I just copy the axioms and pick out the theorems I need?
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/31c9eb86-1994-4d3e-ab71-4e0767de3a74%40googlegroups.com.
