Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -56 +56 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 01 Jun 2010 15:45:43 +0200 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:45:43 +0200] rev 2203
tuned
Sat, 29 May 2010 00:16:39 +0200 first version of the abstract
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 29 May 2010 00:16:39 +0200] rev 2202
first version of the abstract
Thu, 27 May 2010 18:30:42 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 27 May 2010 18:30:42 +0200] rev 2201
merged
Thu, 27 May 2010 18:30:26 +0200 fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 27 May 2010 18:30:26 +0200] rev 2200
fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set
Thu, 27 May 2010 16:53:12 +0200 qpaper / lemmas used in proofs
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:53:12 +0200] rev 2199
qpaper / lemmas used in proofs
Thu, 27 May 2010 16:33:10 +0200 qpaper / injection statement
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:33:10 +0200] rev 2198
qpaper / injection statement
Thu, 27 May 2010 16:06:43 +0200 qpaper / regularize
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:06:43 +0200] rev 2197
qpaper / regularize
Thu, 27 May 2010 14:30:07 +0200 qpaper / a bit about prs
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 14:30:07 +0200] rev 2196
qpaper / a bit about prs
Thu, 27 May 2010 11:21:37 +0200 Functionalized the ABS/REP definition.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 11:21:37 +0200] rev 2195
Functionalized the ABS/REP definition.
Wed, 26 May 2010 17:55:42 +0200 qpaper / lifting introduction
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 17:55:42 +0200] rev 2194
qpaper / lifting introduction
Wed, 26 May 2010 17:20:59 +0200 merged
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 17:20:59 +0200] rev 2193
merged
Wed, 26 May 2010 17:19:16 +0200 fixed compile error
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 17:19:16 +0200] rev 2192
fixed compile error
Wed, 26 May 2010 17:10:05 +0200 qpaper / composition of quotients.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 17:10:05 +0200] rev 2191
qpaper / composition of quotients.
Wed, 26 May 2010 16:56:38 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:56:38 +0200] rev 2190
qpaper
Wed, 26 May 2010 16:28:35 +0200 qpaper..
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:28:35 +0200] rev 2189
qpaper..
Wed, 26 May 2010 16:17:49 +0200 qpaper.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:17:49 +0200] rev 2188
qpaper.
Wed, 26 May 2010 16:09:09 +0200 Name some respectfullness
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:09:09 +0200] rev 2187
Name some respectfullness
Wed, 26 May 2010 15:35:34 +0200 added FSet to the correct paper
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:35:34 +0200] rev 2186
added FSet to the correct paper
Wed, 26 May 2010 15:26:22 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:26:22 +0200] rev 2185
merged
Wed, 26 May 2010 15:26:00 +0200 added FSet
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:26:00 +0200] rev 2184
added FSet
Wed, 26 May 2010 15:24:33 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 15:24:33 +0200] rev 2183
qpaper
Wed, 26 May 2010 12:11:58 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 12:11:58 +0200] rev 2182
qpaper
Tue, 25 May 2010 18:38:52 +0200 Substitution Lemma for TypeSchemes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 18:38:52 +0200] rev 2181
Substitution Lemma for TypeSchemes.
Tue, 25 May 2010 17:29:05 +0200 Simplified the proof
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 17:29:05 +0200] rev 2180
Simplified the proof
Tue, 25 May 2010 17:09:29 +0200 A lemma about substitution in TypeSchemes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 17:09:29 +0200] rev 2179
A lemma about substitution in TypeSchemes.
Tue, 25 May 2010 17:01:37 +0200 reversing the direction of fresh_star
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 17:01:37 +0200] rev 2178
reversing the direction of fresh_star
Tue, 25 May 2010 10:43:19 +0200 overlapping deep binders proof
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 10:43:19 +0200] rev 2177
overlapping deep binders proof
Tue, 25 May 2010 07:59:16 +0200 edits from the reviewers
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 25 May 2010 07:59:16 +0200] rev 2176
edits from the reviewers
Mon, 24 May 2010 22:47:06 +0100 tuned paper
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 24 May 2010 22:47:06 +0100] rev 2175
tuned paper
Sun, 23 May 2010 16:45:00 +0100 changed qpaper to lncs-style
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 23 May 2010 16:45:00 +0100] rev 2174
changed qpaper to lncs-style
Fri, 21 May 2010 17:17:51 +0200 Match_Lam defined on Quotient Level.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 17:17:51 +0200] rev 2173
Match_Lam defined on Quotient Level.
Fri, 21 May 2010 11:55:22 +0200 More on Function-defined subst.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 11:55:22 +0200] rev 2172
More on Function-defined subst.
Fri, 21 May 2010 11:46:47 +0200 Isabelle renamings
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 11:46:47 +0200] rev 2171
Isabelle renamings
Fri, 21 May 2010 10:47:45 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:47:45 +0200] rev 2170
merge
Fri, 21 May 2010 10:43:14 +0200 Renamings.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:43:14 +0200] rev 2169
Renamings.
Fri, 21 May 2010 10:42:53 +0200 Renamings
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:42:53 +0200] rev 2168
Renamings
Fri, 21 May 2010 10:47:07 +0200 merge (non-trival)
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:47:07 +0200] rev 2167
merge (non-trival)
Fri, 21 May 2010 10:45:29 +0200 Previously uncommited direct subst definition changes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:45:29 +0200] rev 2166
Previously uncommited direct subst definition changes.
Fri, 21 May 2010 10:44:07 +0200 Function experiments
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:44:07 +0200] rev 2165
Function experiments
Wed, 19 May 2010 12:44:03 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 19 May 2010 12:44:03 +0100] rev 2164
merged
Wed, 19 May 2010 12:43:38 +0100 added comments about pottiers work
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 19 May 2010 12:43:38 +0100] rev 2163
added comments about pottiers work
Wed, 19 May 2010 12:29:08 +0200 more subst experiments
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 19 May 2010 12:29:08 +0200] rev 2162
more subst experiments
Wed, 19 May 2010 11:29:42 +0200 More subst experminets
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 19 May 2010 11:29:42 +0200] rev 2161
More subst experminets
Tue, 18 May 2010 17:56:41 +0200 more on subst
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 17:56:41 +0200] rev 2160
more on subst
Tue, 18 May 2010 17:17:54 +0200 Single variable substitution
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 17:17:54 +0200] rev 2159
Single variable substitution
Tue, 18 May 2010 17:06:21 +0200 subst fix
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 17:06:21 +0200] rev 2158
subst fix
Tue, 18 May 2010 15:58:52 +0200 subst experiments
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 15:58:52 +0200] rev 2157
subst experiments
Tue, 18 May 2010 14:40:05 +0100 soem minor tuning
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 18 May 2010 14:40:05 +0100] rev 2156
soem minor tuning
Tue, 18 May 2010 11:47:29 +0200 Fix broken add
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 11:47:29 +0200] rev 2155
Fix broken add
Tue, 18 May 2010 11:46:58 +0200 add missing .bib
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 11:46:58 +0200] rev 2154
add missing .bib
Tue, 18 May 2010 11:46:19 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 11:46:19 +0200] rev 2153
merge
Tue, 18 May 2010 11:45:49 +0200 starting bibliography
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 11:45:49 +0200] rev 2152
starting bibliography
Mon, 17 May 2010 20:23:40 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 17 May 2010 20:23:40 +0100] rev 2151
merged
Mon, 17 May 2010 18:13:39 +0100 updated to new Isabelle (More_Conv -> Conv)
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 17 May 2010 18:13:39 +0100] rev 2150
updated to new Isabelle (More_Conv -> Conv)
Mon, 17 May 2010 17:54:07 +0100 made this example to work again
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 17 May 2010 17:54:07 +0100] rev 2149
made this example to work again
Mon, 17 May 2010 17:34:02 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 17 May 2010 17:34:02 +0200] rev 2148
merge
(0) -1000 -300 -100 -56 +56 +100 +300 +1000 tip
nominal2