Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -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-01-27 Cezary Kaliszyk fv for subterms changeset | files
2010-01-27 Cezary Kaliszyk Fix the problem with later examples. Maybe need to go back to textual specifications. changeset | files
2010-01-27 Cezary Kaliszyk Some processing of variables in constructors to get free variables. changeset | files
2010-01-27 Cezary Kaliszyk Parsing of the input as terms and types, and passing them as such to the function package. changeset | files
2010-01-27 Cezary Kaliszyk Undid the parsing, as it is not possible with thy->lthy interaction. changeset | files
2010-01-27 Cezary Kaliszyk merge changeset | files
2010-01-27 Cezary Kaliszyk Some cleaning of thy vs lthy vs context. changeset | files
2010-01-27 Christian Urban merged changeset | files
2010-01-27 Christian Urban tuned comment changeset | files
2010-01-27 Christian Urban completely ported changeset | files
2010-01-27 Cezary Kaliszyk Another string in the specification. changeset | files
2010-01-27 Cezary Kaliszyk Variable takes a 'name'. changeset | files
2010-01-27 Cezary Kaliszyk merge changeset | files
2010-01-27 Cezary Kaliszyk When commenting discovered a missing case of Babs->Abs regularization. changeset | files
2010-01-27 Christian Urban merged changeset | files
2010-01-27 Christian Urban mostly ported Terms.thy to new Nominal changeset | files
2010-01-27 Cezary Kaliszyk merge changeset | files
2010-01-27 Cezary Kaliszyk Commenting regularize changeset | files
2010-01-27 Christian Urban very rough example file for how nominal2 specification can be parsed changeset | files
2010-01-27 Christian Urban reordered cases in regularize (will be merged into two cases) changeset | files
2010-01-27 Christian Urban use of equiv_relation_chk in quotient_term changeset | files
2010-01-27 Christian Urban some slight tuning changeset | files
2010-01-27 Christian Urban added Terms to Nominal - Instantiation of two types does not work (ask Florian) changeset | files
2010-01-27 Christian Urban added another example with indirect recursion over lists changeset | files
2010-01-26 Christian Urban just moved obsolete material into Attic changeset | files
2010-01-26 Christian Urban added an LamEx example together with the new nominal infrastructure changeset | files
2010-01-26 Cezary Kaliszyk Bex1_Bexeq_regular. changeset | files
2010-01-26 Cezary Kaliszyk Hom Theorem with exists unique changeset | files
2010-01-26 Cezary Kaliszyk 2 cases for regularize with split, lemmas with split now lift. changeset | files
2010-01-26 Cezary Kaliszyk Simpler statement that has the problem. changeset | files
(0) -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip
nominal2