Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 24 Oct 2009 22:52:23 +0200 added another example file about integers (see HOL/Int.thy)
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 24 Oct 2009 22:52:23 +0200] rev 181
added another example file about integers (see HOL/Int.thy)
Sat, 24 Oct 2009 18:17:38 +0200 changed the definitions of liftet constants to use fun_maps
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 24 Oct 2009 18:17:38 +0200] rev 180
changed the definitions of liftet constants to use fun_maps
Sat, 24 Oct 2009 17:29:20 +0200 Merge
changeset
cek@localhost.localdomain [Sat, 24 Oct 2009 17:29:20 +0200] rev 179
Merge
Sat, 24 Oct 2009 17:29:27 +0200 Finally lifted induction, with some manually added simplification lemmas.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 24 Oct 2009 17:29:27 +0200] rev 178
Finally lifted induction, with some manually added simplification lemmas.
Sat, 24 Oct 2009 16:31:07 +0200 changed encoding from utf8 to ISO8 (needed to work with xemacs)
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 24 Oct 2009 16:31:07 +0200] rev 177
changed encoding from utf8 to ISO8 (needed to work with xemacs)
Sat, 24 Oct 2009 16:15:33 +0200 Merge
changeset
cek@localhost.localdomain [Sat, 24 Oct 2009 16:15:33 +0200] rev 176
Merge
(0) -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip
nominal2