Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 19 Apr 2010 16:55:36 +0200 tuned; fleshed out some library functions about permutations; closed Datatype_Aux structure (increases readability)
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 16:55:36 +0200] rev 1896
tuned; fleshed out some library functions about permutations; closed Datatype_Aux structure (increases readability)
Mon, 19 Apr 2010 16:19:17 +0200 FSet is a semi-lattice
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 16:19:17 +0200] rev 1895
FSet is a semi-lattice
Mon, 19 Apr 2010 15:54:55 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:54:55 +0200] rev 1894
merge
Mon, 19 Apr 2010 15:54:38 +0200 Putting FSet in bot typeclass.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:54:38 +0200] rev 1893
Putting FSet in bot typeclass.
Mon, 19 Apr 2010 15:33:19 +0200 reorder
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:33:19 +0200] rev 1892
reorder
Mon, 19 Apr 2010 15:37:54 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 15:37:54 +0200] rev 1891
merged
Mon, 19 Apr 2010 15:37:33 +0200 small updates to the paper; remaining points in PAPER-TODO
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 15:37:33 +0200] rev 1890
small updates to the paper; remaining points in PAPER-TODO
Mon, 19 Apr 2010 15:28:57 +0200 sub_list definition and respects
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:28:57 +0200] rev 1889
sub_list definition and respects
Mon, 19 Apr 2010 15:08:29 +0200 Alternate list_eq and equivalence
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:08:29 +0200] rev 1888
Alternate list_eq and equivalence
Mon, 19 Apr 2010 14:08:01 +0200 Some new lemmas
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 14:08:01 +0200] rev 1887
Some new lemmas
Mon, 19 Apr 2010 13:58:10 +0200 More cleaning
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 13:58:10 +0200] rev 1886
More cleaning
Mon, 19 Apr 2010 12:28:48 +0200 remove more metis
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 12:28:48 +0200] rev 1885
remove more metis
Mon, 19 Apr 2010 12:20:18 +0200 more metis cleaning
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 12:20:18 +0200] rev 1884
more metis cleaning
Mon, 19 Apr 2010 11:55:12 +0200 Getting rid of 'metis'.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 11:55:12 +0200] rev 1883
Getting rid of 'metis'.
Mon, 19 Apr 2010 11:38:43 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 11:38:43 +0200] rev 1882
merge
Mon, 19 Apr 2010 11:32:33 +0200 Remove 'defer'.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 11:32:33 +0200] rev 1881
Remove 'defer'.
Mon, 19 Apr 2010 09:27:53 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 09:27:53 +0200] rev 1880
merged
Mon, 19 Apr 2010 09:25:31 +0200 tuned proofs
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 09:25:31 +0200] rev 1879
tuned proofs
Mon, 19 Apr 2010 11:04:31 +0200 2 more lifted lemmas needed for second representation
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 11:04:31 +0200] rev 1878
2 more lifted lemmas needed for second representation
Mon, 19 Apr 2010 10:35:08 +0200 Accept non-equality eqvt rules in support proofs.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 10:35:08 +0200] rev 1877
Accept non-equality eqvt rules in support proofs.
Mon, 19 Apr 2010 10:00:52 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 10:00:52 +0200] rev 1876
merge
Mon, 19 Apr 2010 09:59:32 +0200 Locations of files in Parser
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 09:59:32 +0200] rev 1875
Locations of files in Parser
Mon, 19 Apr 2010 09:25:55 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 09:25:55 +0200] rev 1874
merge
Mon, 19 Apr 2010 09:25:43 +0200 minor FSet3 edits.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 09:25:43 +0200] rev 1873
minor FSet3 edits.
Sun, 18 Apr 2010 18:01:22 +0200 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 18 Apr 2010 18:01:22 +0200] rev 1872
tuned
Sun, 18 Apr 2010 17:58:45 +0200 moved some general function into nominal_library.ML
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 18 Apr 2010 17:58:45 +0200] rev 1871
moved some general function into nominal_library.ML
Sun, 18 Apr 2010 17:57:27 +0200 tuned; transformation functions now take a context, a thm and return a thm
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 18 Apr 2010 17:57:27 +0200] rev 1870
tuned; transformation functions now take a context, a thm and return a thm
Sun, 18 Apr 2010 17:56:05 +0200 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 18 Apr 2010 17:56:05 +0200] rev 1869
tuned
Sun, 18 Apr 2010 10:58:29 +0200 equivariance for alpha_raw in CoreHaskell is automatically derived
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 18 Apr 2010 10:58:29 +0200] rev 1868
equivariance for alpha_raw in CoreHaskell is automatically derived
Sun, 18 Apr 2010 09:26:38 +0200 preliminary parser for perm_simp metod
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 18 Apr 2010 09:26:38 +0200] rev 1867
preliminary parser for perm_simp metod
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip
nominal2