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.
Mon, 10 May 2010 15:54:16 +0200 Recursive examples with relation composition
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:54:16 +0200] rev 2094
Recursive examples with relation composition
Mon, 10 May 2010 15:45:04 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:45:04 +0200] rev 2093
merge
Mon, 10 May 2010 15:44:49 +0200 prod_rel and prod_fv eqvt and mono
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:44:49 +0200] rev 2092
prod_rel and prod_fv eqvt and mono
Mon, 10 May 2010 15:14:02 +0200 ExLetRec
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:14:02 +0200] rev 2091
ExLetRec
Mon, 10 May 2010 15:11:19 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:11:19 +0200] rev 2090
merge
Mon, 10 May 2010 15:11:05 +0200 Parser changes for compound relations
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:11:05 +0200] rev 2089
Parser changes for compound relations
Mon, 10 May 2010 15:09:53 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:09:53 +0200] rev 2088
merge
Mon, 10 May 2010 15:09:32 +0200 Use mk_compound_fv' and mk_compound_rel'
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 15:09:32 +0200] rev 2087
Use mk_compound_fv' and mk_compound_rel'
Mon, 10 May 2010 12:05:13 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 12:05:13 +0200] rev 2086
merge
Mon, 10 May 2010 12:04:40 +0200 Membership in a pair of lists.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 12:04:40 +0200] rev 2085
Membership in a pair of lists.
Mon, 10 May 2010 10:22:57 +0200 Synchronize FSet with repository
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 10:22:57 +0200] rev 2084
Synchronize FSet with repository
Sun, 09 May 2010 12:38:59 +0100 tuned file names for examples
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 12:38:59 +0100] rev 2083
tuned file names for examples
Sun, 09 May 2010 12:26:10 +0100 cleaned up a bit the examples; added equivariance to all examples
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 12:26:10 +0100] rev 2082
cleaned up a bit the examples; added equivariance to all examples
Sun, 09 May 2010 11:43:24 +0100 fixed the problem with alpha containing splits
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 11:43:24 +0100] rev 2081
fixed the problem with alpha containing splits
Sun, 09 May 2010 11:37:19 +0100 added eqvt-lemma for split; changed semantics of perm_simp: excluded stands for constants about which no complaint is written out...eqvt_apply is now always applied
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 11:37:19 +0100] rev 2080
added eqvt-lemma for split; changed semantics of perm_simp: excluded stands for constants about which no complaint is written out...eqvt_apply is now always applied
Fri, 07 May 2010 12:28:11 +0200 Manually added some newer keywords from the distribution
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 07 May 2010 12:28:11 +0200] rev 2079
Manually added some newer keywords from the distribution
Fri, 07 May 2010 12:10:04 +0200 Regularize experiments
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 07 May 2010 12:10:04 +0200] rev 2078
Regularize experiments
Thu, 06 May 2010 14:21:10 +0200 alpha_eqvt_tac with prod_rel and prod_fv simps
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:21:10 +0200] rev 2077
alpha_eqvt_tac with prod_rel and prod_fv simps
Thu, 06 May 2010 14:14:30 +0200 mem => member
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:14:30 +0200] rev 2076
mem => member
Thu, 06 May 2010 14:13:45 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:13:45 +0200] rev 2075
merge
Thu, 06 May 2010 14:13:35 +0200 Fixes for new Isabelle
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:13:35 +0200] rev 2074
Fixes for new Isabelle
Thu, 06 May 2010 14:13:05 +0200 compound versions with prod_rel and prod_fun, not made default yet.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:13:05 +0200] rev 2073
compound versions with prod_rel and prod_fun, not made default yet.
Thu, 06 May 2010 14:10:56 +0200 prod_rel and prod_fv simps
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:10:56 +0200] rev 2072
prod_rel and prod_fv simps
Thu, 06 May 2010 14:10:26 +0200 mem => member
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:10:26 +0200] rev 2071
mem => member
Thu, 06 May 2010 14:09:56 +0200 prod_rel.simps and Fixed for new isabelle
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:09:56 +0200] rev 2070
prod_rel.simps and Fixed for new isabelle
Thu, 06 May 2010 14:09:21 +0200 Fixes for new isabelle
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:09:21 +0200] rev 2069
Fixes for new isabelle
Thu, 06 May 2010 13:25:37 +0200 prod_fv and its respectfullness and preservation.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 13:25:37 +0200] rev 2068
prod_fv and its respectfullness and preservation.
Thu, 06 May 2010 10:43:41 +0200 Experiments with equivariance.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 10:43:41 +0200] rev 2067
Experiments with equivariance.
Wed, 05 May 2010 20:39:56 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 05 May 2010 20:39:56 +0100] rev 2066
merged
Wed, 05 May 2010 20:39:21 +0100 a bit mor on the pearl journal paper
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 05 May 2010 20:39:21 +0100] rev 2065
a bit mor on the pearl journal paper
Wed, 05 May 2010 10:24:54 +0100 solved the problem with equivariance by first eta-normalising the goal
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 05 May 2010 10:24:54 +0100] rev 2064
solved the problem with equivariance by first eta-normalising the goal
Wed, 05 May 2010 09:23:10 +0200 Some cleaning in Term4
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 05 May 2010 09:23:10 +0200] rev 2063
Some cleaning in Term4
Tue, 04 May 2010 17:25:58 +0200 "isabelle make" compiles all examples with newparser/newfv/newalpha only.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 17:25:58 +0200] rev 2062
"isabelle make" compiles all examples with newparser/newfv/newalpha only.
Tue, 04 May 2010 17:15:21 +0200 Move Term4 to NewParser
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 17:15:21 +0200] rev 2061
Move Term4 to NewParser
Tue, 04 May 2010 16:59:31 +0200 Fix Term4 for permutation signature change
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:59:31 +0200] rev 2060
Fix Term4 for permutation signature change
Tue, 04 May 2010 16:44:12 +0200 Move LF to NewParser. Just works.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:44:12 +0200] rev 2059
Move LF to NewParser. Just works.
Tue, 04 May 2010 16:42:36 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:42:36 +0200] rev 2058
merge
Tue, 04 May 2010 16:42:28 +0200 ExLetMult
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:42:28 +0200] rev 2057
ExLetMult
Tue, 04 May 2010 16:39:12 +0200 Ex1Rec.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:39:12 +0200] rev 2056
Ex1Rec.
Tue, 04 May 2010 16:33:38 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:33:38 +0200] rev 2055
merge
Tue, 04 May 2010 16:33:30 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:33:30 +0200] rev 2054
merge
Tue, 04 May 2010 16:29:11 +0200 ExPS3 in NewParser
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:29:11 +0200] rev 2053
ExPS3 in NewParser
Tue, 04 May 2010 16:22:21 +0200 Move ExPS8 to new parser.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:22:21 +0200] rev 2052
Move ExPS8 to new parser.
Tue, 04 May 2010 16:30:31 +0200 Fix for new isabelle
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:30:31 +0200] rev 2051
Fix for new isabelle
Tue, 04 May 2010 16:18:07 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:18:07 +0200] rev 2050
merge
Tue, 04 May 2010 16:17:46 +0200 Minor
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 16:17:46 +0200] rev 2049
Minor
Tue, 04 May 2010 14:38:07 +0100 increased step counter so that all steps go through
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 04 May 2010 14:38:07 +0100] rev 2048
increased step counter so that all steps go through
Tue, 04 May 2010 14:33:50 +0100 fixed my error with define_raw_fv
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 04 May 2010 14:33:50 +0100] rev 2047
fixed my error with define_raw_fv
Tue, 04 May 2010 14:25:22 +0100 tuned and added some comments to the code; added also an exception for early exit of the nominal2_cmd function
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 04 May 2010 14:25:22 +0100] rev 2046
tuned and added some comments to the code; added also an exception for early exit of the nominal2_cmd function
Tue, 04 May 2010 14:21:18 +0200 Separate Term8, as it may work soon.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 14:21:18 +0200] rev 2045
Separate Term8, as it may work soon.
Tue, 04 May 2010 14:13:18 +0200 moved CoreHaskell to NewParser.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 14:13:18 +0200] rev 2044
moved CoreHaskell to NewParser.
Tue, 04 May 2010 13:52:40 +0200 ExPS7 in NewParser
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 13:52:40 +0200] rev 2043
ExPS7 in NewParser
Tue, 04 May 2010 12:34:33 +0200 Move ExLeroy to New Parser
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 12:34:33 +0200] rev 2042
Move ExLeroy to New Parser
Tue, 04 May 2010 11:22:22 +0200 Move 2 more to NewParser
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 11:22:22 +0200] rev 2041
Move 2 more to NewParser
Tue, 04 May 2010 11:12:09 +0200 Move TypeSchemes to NewParser
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 11:12:09 +0200] rev 2040
Move TypeSchemes to NewParser
Tue, 04 May 2010 11:08:30 +0200 Move ExLet to NewParser.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 04 May 2010 11:08:30 +0200] rev 2039
Move ExLet to NewParser.
(0) -1000 -300 -100 -56 +56 +100 +300 +1000 tip
nominal2