Page history
Directory_talk: Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
17 April 2013
16 April 2013
15 April 2013
→Current Work
+864
→Current Work
+863
→Current Work
+6,303
no edit summary
→Current Work
-521
→Current Work
→Current Work
→Current Work
→Current Work
+2,948
→Current Work
+128
→Current Work
+128
→Current Work
-367
→Current Work
-4
→Current Work
+3,470
<div class="nonumtoc">__TOC__</div>
+37
→6.37. Propositional Types
-2
→6.37. Propositional Types
+1
→6.37. Propositional Types
+181
→6.37. Propositional Types
+273
→Fragments
+1,592
14 April 2013
21 February 2013
no edit summary
→Current Work
-240
→Current Work
+1,377
→Current Work
-240
→Current Work
+1,377
→Current Work
-228
→Current Work
-5,158
→Current Work
+6,350
→Current Work
+708
20 February 2013
no edit summary
→Current Work
-343
→Current Work
+3,200
→Current Work
-145
→Current Work
+1,484
→Current Work
-103
→Current Work
+862
→Current Work
-95
→Current Work
+854
→Current Work
+3,116
→Sign Relations: reformat tables
-59
