Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
rulesNoGiven.nools | 2018-12-03 16:33 | 18K | ||
rulesNoGiven.nools.toRestore | 2018-01-18 14:13 | 18K | ||
rulesWithGiven.nools | 2018-01-23 16:50 | 18K | ||
types.nools | 2018-01-18 14:13 | 1.9K | ||
not_not_p_bimp_q.nools | 2018-01-23 16:51 | 75 | ||
not_p_implies_q.nools | 2018-02-05 11:46 | 73 | ||
no-given.nools | 2018-01-23 16:51 | 33 | ||