aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2015-12-10GRAMMAR: added punctuationMatej Kosik
2015-12-10CLEANUP PROPOSITION: rephrasing the original idea in a simpler wayMatej Kosik
2015-12-10CLEANUP PROPOSITION: existing example was removed because it is not urgently ...Matej Kosik
2015-12-10ENH: existing example was changed so that it is now linked to the results sho...Matej Kosik
2015-12-10ENH: an existing example was further expanded.Matej Kosik
2015-12-10CLEANUP: Existing example was removed.Matej Kosik
2015-12-10ENH: existing example was expandedMatej Kosik
2015-12-10ENH: define the meaning of 'p'Matej Kosik
2015-12-10CLEANUP PROPOSITION: does it make sense to refer to 'I' as 'inductive definit...Matej Kosik
2015-12-10CLEANUP: We decided to call these guys E[Γ] ⊢ (Γi := Γc) as inductive de...Matej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10CLEANUP: removing a superfluous indexMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10GRAMMARMatej Kosik
2015-12-10COMMENT: noteMatej Kosik
2015-12-10TYPOGRAPHYMatej Kosik
2015-12-10CLEANUP: originally, we talked about "B" as an "arity"Matej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10ENH: a forward reference to a place where the concept of "allowed elimination...Matej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10CLEANUP: unnecessaryMatej Kosik
2015-12-10GRAMMARMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10ENH: improving precisionMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10FIX: "u_p" was not definedMatej Kosik
2015-12-10CLEANUP: removing duplicate paragraphMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10COMMENT: questions and to doMatej Kosik
2015-12-10FIX: removing references to Γ which is not defined in a given contextMatej Kosik
2015-12-10TYPESETTINGMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10GRAMMARMatej Kosik
2015-12-10CLEANUP PROPOSITION: superfluous parentheses were removedMatej Kosik
2015-12-10CLEANUP PROPOSITION: s/local context of parameters/context of parametersMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10COMMENT: questionsMatej Kosik
2015-12-10COMMENT: to doMatej Kosik
2015-12-10COMMENT: to doMatej Kosik
2015-12-10FIX: removing a reference to \Gamma, because it is undefinedMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10FIX: making sure that my previous edits do not break HTML generationMatej Kosik
2015-12-10COMMENT: questionsMatej Kosik
2015-12-10ENH: examples for 'strict positivity' were expandedMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
2015-12-10CLEANUP: s/List_A/List~A/gMatej Kosik
2015-12-10COMMENT: questionMatej Kosik
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 22:32:48 +0000