| Name | Size | Type | Last Modified |
|---|---|---|---|
| Parent Directory | |||
| godel_logic--1.1.0.sql | 1149 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |
| lukasiewicz_logic--1.1.0.sql | 1765 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |
| product_logic--1.1.0.sql | 1167 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |