WildCat.v: add new files to meta-file

Author: jdchristensen

theories/WildCat.v

@@ -17,6 +17,10 @@ Require Export WildCat.Products.
 Require Export WildCat.Coproducts.
 Require Export WildCat.Displayed.
 Require Export WildCat.DisplayedEquiv.
+Require Export WildCat.Pullbacks.
+Require Export WildCat.AbEnriched.
+Require Export WildCat.Regular.
+Require Export WildCat.HomologicalAlgebra.
 
 Require Export WildCat.SetoidRewrite.