| author | Christian Urban <urbanc@in.tum.de> |
| Wed, 17 Mar 2010 17:10:19 +0100 | |
| changeset 1485 | c004e7448dca |
| parent 1270 | 8c3cf9f4f5f2 |
| child 1604 | 5ab97f43ec24 |
| permissions | -rw-r--r-- |
quick_and_dirty := true; no_document use_thys ["Nominal2_Base", "Nominal2_Eqvt", "Nominal2_Atoms", "Nominal2_Supp", "Test"] (* no_document use_thys ["Nominal2_Base", "Nominal2_Eqvt", "Nominal2_Atoms", "Nominal2_Supp", "Test", "Term1", "Term2", "Term3", "Term4", "Term5", "Term6", "Term7", "Term8", "Term9", "TySch", "LFex"]; *)