| author | Christian Urban <urbanc@in.tum.de> |
| Sat, 20 Mar 2010 04:51:26 +0100 | |
| changeset 1558 | a5ba76208983 |
| parent 1485 | c004e7448dca |
| 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"]; *)