Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -15 +15 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 28 Oct 2009 18:08:38 +0100 disambiguate ===> syntax
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 18:08:38 +0100] rev 228
disambiguate ===> syntax
Wed, 28 Oct 2009 17:38:37 +0100 More cleaning in Lam code
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 17:38:37 +0100] rev 227
More cleaning in Lam code
Wed, 28 Oct 2009 17:17:21 +0100 cleaned FSet
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 17:17:21 +0100] rev 226
cleaned FSet
Wed, 28 Oct 2009 16:48:57 +0100 Some cleaning
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 16:48:57 +0100] rev 225
Some cleaning
Wed, 28 Oct 2009 16:16:38 +0100 Cleaning the unnecessary theorems in 'IntEx'.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 16:16:38 +0100] rev 224
Cleaning the unnecessary theorems in 'IntEx'.
Wed, 28 Oct 2009 16:11:28 +0100 Fix also in the general procedure.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 16:11:28 +0100] rev 223
Fix also in the general procedure.
Wed, 28 Oct 2009 16:06:19 +0100 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 16:06:19 +0100] rev 222
merge
Wed, 28 Oct 2009 16:05:59 +0100 Fixes
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 16:05:59 +0100] rev 221
Fixes
Wed, 28 Oct 2009 15:48:38 +0100 updated all definitions
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 15:48:38 +0100] rev 220
updated all definitions
Wed, 28 Oct 2009 15:25:36 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 15:25:36 +0100] rev 219
merged
Wed, 28 Oct 2009 15:25:11 +0100 added infrastructure for defining lifted constants
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 28 Oct 2009 15:25:11 +0100] rev 218
added infrastructure for defining lifted constants
Wed, 28 Oct 2009 14:59:24 +0100 First experiments with Lambda
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 14:59:24 +0100] rev 217
First experiments with Lambda
Wed, 28 Oct 2009 12:22:06 +0100 Fixed mistake in const generation, will postpone this.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 12:22:06 +0100] rev 216
Fixed mistake in const generation, will postpone this.
Wed, 28 Oct 2009 10:29:00 +0100 More finshed proofs and cleaning
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 10:29:00 +0100] rev 215
More finshed proofs and cleaning
Wed, 28 Oct 2009 10:17:07 +0100 Proof of append_rsp
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 28 Oct 2009 10:17:07 +0100] rev 214
Proof of append_rsp
(0) -100 -15 +15 +100 +300 +1000 +3000 tip
nominal2