Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
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
2010-04-22 Cezary Kaliszyk Update term8 changeset | files
2010-04-22 Cezary Kaliszyk Converted 'thm' to a lemma. changeset | files
2010-04-22 Cezary Kaliszyk Moved working Fset3 properties to FSet. changeset | files
2010-04-22 Christian Urban tuned parser changeset | files
2010-04-22 Christian Urban moved lemmas from FSet.thy to do with atom to Nominal2_Base, and to do with 'a::at set to Nominal2_Atoms; moved Nominal2_Eqvt.thy one up to be loaded before Nominal2_Atoms changeset | files
2010-04-21 Christian Urban tuned proofs changeset | files
2010-04-21 Christian Urban merged changeset | files
2010-04-21 Christian Urban moved some lemmas into the right places changeset | files
2010-04-21 Cezary Kaliszyk minor changeset | files
2010-04-21 Cezary Kaliszyk merge changeset | files
2010-04-21 Cezary Kaliszyk append_rsp2 + isarification changeset | files
2010-04-21 Christian Urban some small changes changeset | files
2010-04-21 Christian Urban merged changeset | files
2010-04-21 Christian Urban deleted the incomplete proof about pairs of abstractions changeset | files
2010-04-21 Christian Urban added a variant of the induction principle for permutations changeset | files
(0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 tip
nominal2