matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/didactic/support/natural

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/didactic/support/natural_deduction.ma

2009-05-25	Enrico Tassi	nasty change in the lexer/parser:	blob \| commitdiff \| raw
2009-04-15	Ferruccio Guidi	- transcript: bugfix	blob \| commitdiff \| raw \| diff to current
2009-03-16	Enrico Tassi	added mactions, the three can now be collapsed to fit...	blob \| commitdiff \| raw \| diff to current
2008-12-01	Enrico Tassi	more ex and more notation	blob \| commitdiff \| raw \| diff to current
2008-11-30	Enrico Tassi	natural deduction support for lemmas with premises	blob \| commitdiff \| raw \| diff to current
2008-11-17	Enrico Tassi	exercises ready	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	better spacing	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	apply rule (lem EM) works	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	fixed or-in-left	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	fixed not-e	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	almost ready	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	rules fixed	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	house keeping	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.