Mercurial Mercurial > hg > nominal2 / shortlog
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.
 
2010-04-28 Christian Urban tuned changeset | files
2010-04-28 Christian Urban factured out common functionality of prefixing the dt-names with a string changeset | files
2010-04-28 Christian Urban closed Datatype_Aux; replaced nth_dtyp by the function used in Perm.thy changeset | files
2010-04-27 Christian Urban added some further problemetic tests changeset | files
2010-04-27 Christian Urban some tuning changeset | files
2010-04-27 Christian Urban moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base changeset | files
2010-04-27 Christian Urban merged changeset | files
2010-04-27 Cezary Kaliszyk Rewrote FV code and included the function package. changeset | files
2010-04-27 Cezary Kaliszyk merge changeset | files
2010-04-27 Cezary Kaliszyk Function in Core Haskell changeset | files
2010-04-27 Christian Urban one more pass over the paper changeset | files
2010-04-27 Christian Urban more polishing on the paper changeset | files
2010-04-26 Christian Urban merged changeset | files
2010-04-26 Christian Urban some changes to the paper changeset | files
2010-04-26 Christian Urban rewrote eqvts_raw to be a symtab, that can be looked up changeset | files
2010-04-26 Cezary Kaliszyk merge ??? changeset | files
2010-04-21 Cezary Kaliszyk infix for In changeset | files
2010-04-26 Christian Urban eliminated command so that all compiles changeset | files
2010-04-26 Christian Urban changed theorem_i to theorem....requires new Isabelle changeset | files
2010-04-25 Christian Urban tuned changeset | files
2010-04-25 Christian Urban tuned and cleaned changeset | files
2010-04-25 Christian Urban tuned and made to compile changeset | files
2010-04-25 Christian Urban added definition of raw-permutations to the new-parser changeset | files
2010-04-25 Christian Urban tuned changeset | files
2010-04-24 Christian Urban slight tuning changeset | files
2010-04-24 Christian Urban added a comment about a function where I am not sure who wrote it. changeset | files
2010-04-24 Christian Urban merged changeset | files
2010-04-23 Cezary Kaliszyk Minor changeset | files
2010-04-23 Cezary Kaliszyk Minor cleaning of IntEx changeset | files
2010-04-23 Cezary Kaliszyk Further cleaning of proofs in FSet changeset | files
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip
nominal2