| Tue, 17 Apr 2012 15:37:03 +0000 |
urbanc |
some small improvements
|
changeset |
files
|
| Mon, 16 Apr 2012 15:16:02 +0000 |
urbanc |
???-marks
|
changeset |
files
|
| Mon, 16 Apr 2012 15:08:24 +0000 |
urbanc |
changes requested by the reviewers
|
changeset |
files
|
| Mon, 16 Apr 2012 12:54:08 +0000 |
urbanc |
polished
|
changeset |
files
|
| Mon, 16 Apr 2012 08:48:20 +0000 |
zhang |
The result for "Set" operation gets strengthened.
|
changeset |
files
|
| Sun, 15 Apr 2012 21:53:12 +0000 |
urbanc |
added some of the comments of the reviewers and made it compile with current Isabelle
|
changeset |
files
|
| Fri, 13 Apr 2012 13:12:43 +0000 |
urbanc |
made the changes thes 2nd referee suggested and made it to compile again
|
changeset |
files
|
| Tue, 06 Mar 2012 11:30:45 +0000 |
urbanc |
typo
|
changeset |
files
|
| Tue, 28 Feb 2012 13:13:32 +0000 |
urbanc |
fixed typo
|
changeset |
files
|
| Mon, 27 Feb 2012 18:53:53 +0000 |
urbanc |
typo
|
changeset |
files
|
| Wed, 22 Feb 2012 13:25:49 +0000 |
urbanc |
partially updated conference paper; slightly tuned journal paper
|
changeset |
files
|
| Mon, 20 Feb 2012 11:02:50 +0000 |
urbanc |
some polishing of the repository
|
changeset |
files
|
| Thu, 16 Feb 2012 08:12:01 +0000 |
urbanc |
one typo
|
changeset |
files
|
| Tue, 14 Feb 2012 04:33:31 +0000 |
urbanc |
changes by Xingyuan
|
changeset |
files
|