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 |
|