Commit graph

2239 commits

Author Message Date
wadler
b943785e6b revised Lists 2018-03-20 19:49:11 -03:00
wadler
e188bedcc2 updated pairs in Negation and Quantifiers 2018-03-20 18:44:46 -03:00
wadler
242e174280 updated pairs in Connectives 2018-03-20 18:32:31 -03:00
wadler
b263d68c7d updated pairs in Connectives 2018-03-20 18:32:08 -03:00
wadler
a647ee9f9d fix to even-odd in Quantifiers 2018-03-20 13:47:39 -03:00
wadler
e1bb83225b small fixes to Naturals 2018-03-18 20:14:52 -03:00
wadler
b58de9d80e corrected spelling 2018-03-18 19:30:35 -03:00
wadler
cd37b8a2ce finished Quantifiers (again) 2018-03-18 19:13:27 -03:00
wadler
63f65333e3 added mention of Sigma to Quantifiers 2018-03-18 13:09:38 -03:00
wadler
8b7519220f completed pass over Quantifiers 2018-03-18 12:27:39 -03:00
wadler
d878b55f2e extra files for even exists proofs 2018-03-17 21:17:48 -03:00
wadler
9ed10c3d29 fix to Decidable and related extra files 2018-03-17 17:30:58 -03:00
wadler
6f5c8d2330 small fixes to all files 2018-03-17 15:09:15 -03:00
wadler
752f34c9e5 saving before lunch 2018-03-17 13:23:15 -03:00
wadler
83776712ac added unequal to Negation 2018-03-17 12:27:07 -03:00
wadler
81b5da1ebd moving LogicAns to NegationAns 2018-03-17 11:51:09 -03:00
wadler
29ed7cdbeb halfway through Quantifiers 2018-03-15 19:08:31 -03:00
wadler
77ebd9b67f added Devil story to Negation 2018-03-15 13:02:32 -03:00
wadler
f3fa5ff5fd end material for Connectives 2018-03-15 11:47:49 -03:00
wadler
72ed3ad3d9 fixed bug in Lists 2018-03-15 11:11:08 -03:00
wadler
18dd52b4d0 got Negation and Quantification to compile 2018-03-15 10:38:44 -03:00
wadler
b31d8eba50 fixed bug in Connectives 2018-03-14 18:34:46 -03:00
wadler
771bd2de5d removed Connectives-old, updated index 2018-03-14 18:32:44 -03:00
wadler
ef062ba226 added eta to Connectives, added Negation and Quantifiers 2018-03-14 18:31:30 -03:00
wadler
2e2ebb5665 updating Connectives, finishing exponentials 2018-03-13 18:59:10 -03:00
wadler
bbee34baa2 revised up through Isomorphism 2018-03-13 13:24:22 -03:00
wadler
d60de1202b Merge branch 'master' of github.com:wenkokke/sf
I don't know why it's asking me to merge.
2018-03-12 19:33:29 -03:00
wadler
65e6af9d4b revisions on Natural to Isomorphism 2018-03-12 19:33:13 -03:00
wadler
0ba37f5fb4 first pass over Isomorphism 2018-03-12 18:02:41 -03:00
Wen Kokke
731641b16c
Added timeout for cache and edge workaround. 2018-03-12 16:33:35 +00:00
wadler
63a38ec261 added various files in extra 2018-03-12 13:04:51 -03:00
wadler
620510e685 Merge branch 'master' of github.com:wenkokke/sf
I have no idea why this merge is necessary.
2018-03-12 13:01:33 -03:00
wadler
926558bfe6 completed pass over Equality 2018-03-12 13:01:08 -03:00
wadler
dffb291510 completed pass over Equality 2018-03-12 12:53:30 -03:00
Wen Kokke
44080b66fa
Added workaround for dpl-1.9.0 bug. 2018-03-12 12:57:18 +00:00
Wen Kokke
5c16222d49
Updated Makefile. 2018-03-12 12:07:17 +00:00
Wen Kokke
1d1bfcf54a
Removed the keep-history flag. 2018-03-11 22:33:22 +00:00
wadler
c90f0f9af0 fiddling with Equality 2018-03-11 18:52:48 -03:00
wadler
b191d639c8 updated RelationsAns 2018-03-08 18:44:26 -03:00
wadler
1ff0d97564 revised Relations, further fixes 2018-03-08 18:04:38 -03:00
wadler
c05e9b49ed revised Relations 2018-03-08 17:15:01 -03:00
wadler
6538feeda5 completed revision of Relations 2018-03-07 18:13:11 -03:00
wadler
67689be194 fixed import at end of Properties 2018-03-07 17:40:56 -03:00
wadler
ee13c1c6ed halfway through Relations 2018-03-07 13:25:35 -03:00
wadler
b088ee59cf tiny fix to Properties 2018-03-07 11:55:29 -03:00
wadler
ea44518e27 fix to RelationsAns 2018-03-06 18:38:27 -03:00
wadler
bcc8e78eb4 completed revisions of Naturals and Properties 2018-03-06 18:18:05 -03:00
wadler
5f738df949 first rewrite of assoc and comm 2018-03-06 15:34:15 -03:00
wadler
73ab7f0dc0 removed Typed, which is redundant 2018-03-05 19:02:10 -03:00
wadler
dbd5399b85 further revisions to Properties 2018-03-05 19:00:21 -03:00