User DanielSchuessler :: Monadoc

DanielSchuessler

Uploads

th-expand-syns@0.4.7.0-0 uploaded 2021-03-12T14:07:25.000Z.
th-expand-syns@0.4.6.0-0 uploaded 2020-03-31T21:41:56.000Z.
aosd@0.2.2-0 uploaded 2019-12-14T22:09:54.000Z. latest
th-expand-syns@0.4.5.0-0 uploaded 2019-08-29T21:52:40.000Z.
th-expand-syns@0.4.4.0-1 uploaded 2018-09-23T20:49:01.000Z.
logic-TPTP@0.4.6.0-0 uploaded 2018-07-21T21:23:16.000Z.
th-expand-syns@0.4.4.0-0 uploaded 2017-12-26T20:55:09.000Z.
logic-TPTP@0.4.5.0-0 uploaded 2017-09-02T16:38:22.000Z.
th-expand-syns@0.4.3.0-0 uploaded 2017-04-21T00:12:42.000Z.
th-expand-syns@0.4.2.0-0 uploaded 2017-01-12T23:17:47.000Z.
th-expand-syns@0.4.1.0-0 uploaded 2016-11-10T19:11:54.000Z.
th-expand-syns@0.4.0.0-0 uploaded 2016-03-28T17:58:17.000Z.
logic-TPTP@0.4.4.0-0 uploaded 2016-01-24T17:42:27.000Z.
tuple-th@0.2.5-0 uploaded 2015-06-28T13:29:51.000Z. latest
logic-TPTP@0.4.3.0-0 uploaded 2015-05-17T19:44:55.000Z.
th-expand-syns@0.3.0.6-0 uploaded 2015-03-12T22:09:14.000Z.
th-expand-syns@0.3.0.5-0 uploaded 2015-02-08T20:36:32.000Z.
logic-TPTP@0.4.2.0-0 uploaded 2014-08-10T20:51:55.000Z.
th-build@0.4.0.0-0 uploaded 2014-06-26T20:25:20.000Z. latest
logic-TPTP@0.4.1.0-0 uploaded 2014-05-24T02:14:52.000Z.
aosd@0.2.1-0 uploaded 2014-03-22T18:05:35.000Z.
th-build@0.3.0.0-0 uploaded 2012-12-23T21:53:36.000Z.
th-expand-syns@0.3.0.4-0 uploaded 2012-12-23T21:18:21.000Z.
logic-TPTP@0.4.0.0-0 uploaded 2012-08-27T19:18:58.000Z.
logic-TPTP@0.3.0.2-0 uploaded 2012-08-27T14:41:49.000Z.
DataTreeView@0.1.1-0 uploaded 2012-06-18T15:24:10.000Z. latest
th-build@0.2.0.0-0 uploaded 2012-03-13T19:49:10.000Z.
th-build@0.1.0.0-0 uploaded 2012-03-13T08:02:40.000Z.
numbering@0.2.1-0 uploaded 2012-03-10T23:19:15.000Z. latest
numbering@0.2-0 uploaded 2012-03-08T06:40:04.000Z.
th-expand-syns@0.3.0.3-0 uploaded 2012-02-09T14:50:21.000Z.
tuple-th@0.2.4-0 uploaded 2012-02-07T23:14:15.000Z.
th-expand-syns@0.3.0.2-0 uploaded 2012-02-03T16:31:24.000Z.
th-expand-syns@0.3.0.1-0 uploaded 2012-02-03T16:07:32.000Z.
tuple-th@0.2.3-0 uploaded 2012-02-03T10:29:05.000Z.
tuple-th@0.2.2-0 uploaded 2011-12-04T04:06:08.000Z.
tuple-th@0.2.1-0 uploaded 2011-10-25T14:21:01.000Z.
logic-TPTP@0.3.0.0-0 uploaded 2011-10-14T10:51:51.000Z.
aosd@0.2.0-0 uploaded 2011-06-23T12:12:05.000Z.
aosd@0.1.3-0 uploaded 2011-06-21T04:04:40.000Z.
aosd@0.1.2-0 uploaded 2011-06-20T04:50:30.000Z.
aosd@0.1.1-0 uploaded 2011-06-19T22:56:00.000Z.
aosd@0.1-0 uploaded 2011-06-19T22:45:16.000Z.
tuple-th@0.1-0 uploaded 2011-05-17T12:39:07.000Z.
th-expand-syns@0.3.0.0-0 uploaded 2011-04-26T16:57:02.000Z.
th-expand-syns@0.2.0.0-0 uploaded 2011-04-26T16:50:55.000Z.
DataTreeView@0.1-0 uploaded 2011-02-11T22:51:35.000Z.
multirec-alt-deriver@0.1.3-0 uploaded 2010-11-29T01:02:59.000Z. latest
multirec-alt-deriver@0.1.2-0 uploaded 2010-11-28T23:01:51.000Z.
th-expand-syns@0.1.1.0-0 uploaded 2010-11-15T17:01:23.000Z.
type-settheory@0.1.3.1-0 uploaded 2010-11-03T07:00:55.000Z. latest
type-settheory@0.1.3-0 uploaded 2010-09-01T02:37:05.000Z.
multirec-alt-deriver@0.1.1-0 uploaded 2010-06-11T11:09:33.000Z.
type-settheory@0.1.2-0 uploaded 2009-10-27T18:53:41.000Z.
type-settheory@0.1.1-0 uploaded 2009-10-27T15:10:45.000Z.
type-settheory@0.1-0 uploaded 2009-10-27T12:46:37.000Z.
th-expand-syns@0.1.0.1-0 uploaded 2009-10-13T11:52:24.000Z.
multirec-alt-deriver@0.1-0 uploaded 2009-10-13T11:48:13.000Z.
th-expand-syns@0.1-0 uploaded 2009-10-13T11:44:50.000Z.
logic-TPTP@0.2.0-0 uploaded 2009-05-03T18:59:32.000Z.
logic-TPTP@0.1-0 uploaded 2009-04-28T13:38:28.000Z.

Packages