

all: subuniversing-1.pdf subtyping-1.pdf

include ../../../common/metapost.mk
