Skip to content
Browse files

Add plugin mllib file.

  • Loading branch information...
1 parent f0d1e92 commit 6d2f8c6014cca012e3e6b847392a4eba4a129103 @mattam82 committed Apr 13, 2012
Showing with 7 additions and 0 deletions.
  1. +7 −0 src/equations_plugin.mllib
View
7 src/equations_plugin.mllib
@@ -0,0 +1,7 @@
+Equations_common
+Sigma
+Subterm
+Eqdec
+Depelim
+Equations
+Equations_plugin_mod

0 comments on commit 6d2f8c6

Please sign in to comment.
Something went wrong with that request. Please try again.