Fri, 17 Apr 2015 15:34:24 +0200 |
Walther Neuper |
after 2nd meeting of TP-at-RISC
default tip
|
changeset |
files
|
Wed, 14 Jan 2015 16:37:58 +0100 |
Walther Neuper |
stopped due to basics of proof structure
|
changeset |
files
|
Wed, 14 Jan 2015 16:25:55 +0100 |
Walther Neuper |
found additional examples in old file from SW
|
changeset |
files
|
Wed, 14 Jan 2015 16:02:49 +0100 |
Walther Neuper |
end meeting 14.Jan.2015
|
changeset |
files
|
Wed, 14 Jan 2015 15:23:05 +0100 |
Walther Neuper |
start with "First Order Predicate Logic"
|
changeset |
files
|
Wed, 17 Dec 2014 15:49:17 +0100 |
Walther Neuper |
merged
|
changeset |
files
|
Wed, 17 Dec 2014 15:43:48 +0100 |
Walther Neuper |
mergetest
|
changeset |
files
|
Wed, 17 Dec 2014 15:47:44 +0100 |
Alexander Siedler |
delete superfluous error
|
changeset |
files
|
Wed, 17 Dec 2014 15:24:10 +0100 |
Walther Neuper |
determine rule application in proof "First Order Predicate Logic" p.24
|
changeset |
files
|
Wed, 17 Dec 2014 14:08:09 +0100 |
Walther Neuper |
shift references to tutorials and trials from Examples to Notes
|
changeset |
files
|
... |