2019-01-02 |
Christian Urban |
final version
default tip
|
file |
diff |
annotate
|
2018-07-06 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2018-02-23 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2018-02-23 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2018-02-06 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2018-01-15 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2018-01-10 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-12-19 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-12-18 |
Christian Urban |
implemented some of the comments
|
file |
diff |
annotate
|
2017-09-22 |
Christian Urban |
updated to Isabelle 2016-1
|
file |
diff |
annotate
|
2017-09-07 |
Christian Urban |
polishing
|
file |
diff |
annotate
|
2017-08-14 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-08-11 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-08-02 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-08-02 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-07-18 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-07-14 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-07-11 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-07-07 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-07-03 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-07-03 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-07-03 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-06-29 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-06-29 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-06-27 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-06-22 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-06-09 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-06-02 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-23 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-23 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-18 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-18 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-16 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-12 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-05 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-05 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-05 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-04 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-05-02 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-04-28 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-04-28 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-04-25 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-04-25 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-04-10 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-03-17 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-03-16 |
Christian Urban |
updasted
|
file |
diff |
annotate
|
2017-03-06 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-02-20 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-02-20 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2017-02-06 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-12-19 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-12-09 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-12-09 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-10-21 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-10-07 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-10-07 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-10-02 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-08-24 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-08-16 |
Christian Urban |
updated tG definition
|
file |
diff |
annotate
|
2016-07-12 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
2016-07-08 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-06-17 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-06-09 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-06-07 |
Christian Urban |
minor update
|
file |
diff |
annotate
|
2016-06-02 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2016-04-15 |
Christian Urban |
updated journal paper
|
file |
diff |
annotate
|
2016-01-28 |
Christian Urban |
changes to my repository
|
file |
diff |
annotate
|
2016-01-27 |
Christian Urban |
some small changes to Correctness and Paper
|
file |
diff |
annotate
|
2016-01-15 |
Christian Urban |
some small changes to the paper
|
file |
diff |
annotate
|
2016-01-14 |
Christian Urban |
updated paper
|
file |
diff |
annotate
|
2016-01-13 |
Christian Urban |
further simplificaton of Moment.thy
|
file |
diff |
annotate
|
2016-01-06 |
Christian Urban |
renamed files
|
file |
diff |
annotate
|
2015-10-04 |
Christian Urban |
added one more reference to an incorrect specification
|
file |
diff |
annotate
|
2015-09-09 |
Christian Urban |
updated for Isabelle 2015
|
file |
diff |
annotate
|
2014-07-15 |
Christian Urban |
updated teh theories to newer Isabelle version
|
file |
diff |
annotate
|
2014-06-12 |
Christian Urban |
a few additions
|
file |
diff |
annotate
|
2014-06-09 |
Christian Urban |
added another book that makes the error, some more proofs
|
file |
diff |
annotate
|
2014-05-30 |
Christian Urban |
finished proof of acyclity
|
file |
diff |
annotate
|
2014-05-22 |
Christian Urban |
added a bit more text to the paper and separated a theory about Max
|
file |
diff |
annotate
|
2014-05-15 |
Christian Urban |
simplified the cp_rec proof
|
file |
diff |
annotate
|
2014-05-06 |
Christian Urban |
made some modifications.
|
file |
diff |
annotate
|
2014-03-04 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2014-03-04 |
Christian Urban |
cleaned up
|
file |
diff |
annotate
|
2014-03-04 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2014-03-04 |
Christian Urban |
added two more references
|
file |
diff |
annotate
|
2014-03-04 |
Christian Urban |
some additions
|
file |
diff |
annotate
|
2014-03-04 |
Christian Urban |
made some small chages
|
file |
diff |
annotate
|
2014-03-03 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2014-02-25 |
Christian Urban |
added
|
file |
diff |
annotate
|
2012-12-22 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2012-12-22 |
Christian Urban |
added
|
file |
diff |
annotate
|
2012-12-21 |
Christian Urban |
added
|
file |
diff |
annotate
|
2012-12-21 |
Christian Urban |
more one the implementation
|
file |
diff |
annotate
|
2012-12-21 |
Christian Urban |
added explanation of the code
|
file |
diff |
annotate
|
2012-12-21 |
Christian Urban |
updated
|
file |
diff |
annotate
|
2012-12-20 |
Christian Urban |
added
|
file |
diff |
annotate
|
2012-12-19 |
Christian Urban |
added a paragraph about RAGS
|
file |
diff |
annotate
|
2012-12-19 |
Christian Urban |
started code explanation
|
file |
diff |
annotate
|
2012-12-17 |
Christian Urban |
updated
|
file |
diff |
annotate
|