Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 01 Apr 2010 17:41:34 +0200 fv_fv_bn
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 17:41:34 +0200] rev 1759
fv_fv_bn
Thu, 01 Apr 2010 17:00:52 +0200 Update fv_bn definition for bindings allowed in types for which bn is present.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 17:00:52 +0200] rev 1758
Update fv_bn definition for bindings allowed in types for which bn is present.
Thu, 01 Apr 2010 16:55:34 +0200 fv_perm_bn
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 16:55:34 +0200] rev 1757
fv_perm_bn
Thu, 01 Apr 2010 16:17:56 +0200 Minor formula fixes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 16:17:56 +0200] rev 1756
Minor formula fixes.
Thu, 01 Apr 2010 16:08:54 +0200 fixed alpha_bn
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 16:08:54 +0200] rev 1755
fixed alpha_bn
Thu, 01 Apr 2010 15:41:48 +0200 current state
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 15:41:48 +0200] rev 1754
current state
Thu, 01 Apr 2010 14:53:14 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 14:53:14 +0200] rev 1753
merged
Thu, 01 Apr 2010 14:49:01 +0200 added alpha_bn definition
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 14:49:01 +0200] rev 1752
added alpha_bn definition
Thu, 01 Apr 2010 14:50:58 +0200 hfill for right aligning single table cells.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 14:50:58 +0200] rev 1751
hfill for right aligning single table cells.
Thu, 01 Apr 2010 14:09:47 +0200 Cleaning the strong induction example.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 14:09:47 +0200] rev 1750
Cleaning the strong induction example.
Thu, 01 Apr 2010 12:19:26 +0200 minor
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 12:19:26 +0200] rev 1749
minor
Thu, 01 Apr 2010 12:13:25 +0200 Fighting with space in displaying strong induction...
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 12:13:25 +0200] rev 1748
Fighting with space in displaying strong induction...
Thu, 01 Apr 2010 11:34:43 +0200 starting strong induction
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 11:34:43 +0200] rev 1747
starting strong induction
Thu, 01 Apr 2010 10:57:49 +0200 General paper minor fixes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 10:57:49 +0200] rev 1746
General paper minor fixes.
Thu, 01 Apr 2010 09:28:03 +0200 Forgot to save before commit.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 09:28:03 +0200] rev 1745
Forgot to save before commit.
Thu, 01 Apr 2010 08:48:33 +0200 Let with multiple bindings.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 08:48:33 +0200] rev 1744
Let with multiple bindings.
Thu, 01 Apr 2010 08:06:01 +0200 Fill the space below the figure.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 08:06:01 +0200] rev 1743
Fill the space below the figure.
Thu, 01 Apr 2010 06:47:37 +0200 last commit for now.
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 06:47:37 +0200] rev 1742
last commit for now.
Thu, 01 Apr 2010 06:04:43 +0200 more on the conclusion
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 06:04:43 +0200] rev 1741
more on the conclusion
Thu, 01 Apr 2010 05:40:12 +0200 completed related work section
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 05:40:12 +0200] rev 1740
completed related work section
Thu, 01 Apr 2010 03:28:28 +0200 more on the paper
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 03:28:28 +0200] rev 1739
more on the paper
Thu, 01 Apr 2010 01:05:05 +0200 added an item about alpha-equivalence (the existential should be closer to the abstraction)
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 01:05:05 +0200] rev 1738
added an item about alpha-equivalence (the existential should be closer to the abstraction)
Wed, 31 Mar 2010 22:48:35 +0200 polished everything up to TODO
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 22:48:35 +0200] rev 1737
polished everything up to TODO
Wed, 31 Mar 2010 18:47:22 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 18:47:22 +0200] rev 1736
merged
Wed, 31 Mar 2010 18:47:02 +0200 added alpha-definition for ~~ty
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 18:47:02 +0200] rev 1735
added alpha-definition for ~~ty
Wed, 31 Mar 2010 17:51:15 +0200 permute_bn
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 31 Mar 2010 17:51:15 +0200] rev 1734
permute_bn
Wed, 31 Mar 2010 17:04:09 +0200 abbreviations for \<otimes> and \<oplus>
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 17:04:09 +0200] rev 1733
abbreviations for \<otimes> and \<oplus>
Wed, 31 Mar 2010 16:27:57 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 16:27:57 +0200] rev 1732
merged
Wed, 31 Mar 2010 16:27:44 +0200 a test with let having multiple bodies
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 16:27:44 +0200] rev 1731
a test with let having multiple bodies
Wed, 31 Mar 2010 16:26:51 +0200 polished and removed tys from bn-functions.
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 16:26:51 +0200] rev 1730
polished and removed tys from bn-functions.
Wed, 31 Mar 2010 15:20:58 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 31 Mar 2010 15:20:58 +0200] rev 1729
merge
Wed, 31 Mar 2010 12:30:17 +0200 More on paper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 31 Mar 2010 12:30:17 +0200] rev 1728
More on paper
Wed, 31 Mar 2010 05:44:24 +0200 started to polish alpha-equivalence section, but needs more work
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 05:44:24 +0200] rev 1727
started to polish alpha-equivalence section, but needs more work
Wed, 31 Mar 2010 02:59:18 +0200 started with a related work section
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 31 Mar 2010 02:59:18 +0200] rev 1726
started with a related work section
Tue, 30 Mar 2010 22:31:15 +0200 polished and added an example for fvars
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 22:31:15 +0200] rev 1725
polished and added an example for fvars
Tue, 30 Mar 2010 21:15:13 +0200 cleaned up the section about fv's
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 21:15:13 +0200] rev 1724
cleaned up the section about fv's
Tue, 30 Mar 2010 17:55:46 +0200 tuned beginning of section 4
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 17:55:46 +0200] rev 1723
tuned beginning of section 4
Tue, 30 Mar 2010 17:52:16 +0200 More on section 5.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 17:52:16 +0200] rev 1722
More on section 5.
Tue, 30 Mar 2010 17:00:34 +0200 More on section 5.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 17:00:34 +0200] rev 1721
More on section 5.
Tue, 30 Mar 2010 16:59:23 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 16:59:23 +0200] rev 1720
merged
Tue, 30 Mar 2010 16:59:00 +0200 removed "raw" distinction
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 16:59:00 +0200] rev 1719
removed "raw" distinction
Tue, 30 Mar 2010 16:09:49 +0200 More on Section 5
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 16:09:49 +0200] rev 1718
More on Section 5
Tue, 30 Mar 2010 15:09:26 +0200 Beginning of section 5.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 15:09:26 +0200] rev 1717
Beginning of section 5.
Tue, 30 Mar 2010 15:07:42 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 15:07:42 +0200] rev 1716
merged
Tue, 30 Mar 2010 13:58:07 +0200 Avoid mentioning other nominal datatypes as it makes things too complicated.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 13:58:07 +0200] rev 1715
Avoid mentioning other nominal datatypes as it makes things too complicated.
Tue, 30 Mar 2010 13:37:35 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 13:37:35 +0200] rev 1714
merged
Tue, 30 Mar 2010 13:36:02 +0200 close the missing parenthesis on both sides.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 13:36:02 +0200] rev 1713
close the missing parenthesis on both sides.
Tue, 30 Mar 2010 13:23:12 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 13:23:12 +0200] rev 1712
merged
Tue, 30 Mar 2010 13:22:54 +0200 changes to section 2
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 13:22:54 +0200] rev 1711
changes to section 2
Tue, 30 Mar 2010 12:31:28 +0200 Clean alpha
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 12:31:28 +0200] rev 1710
Clean alpha
Tue, 30 Mar 2010 12:19:20 +0200 clean fv_bn
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 12:19:20 +0200] rev 1709
clean fv_bn
Tue, 30 Mar 2010 11:45:41 +0200 alpha_bn
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 11:45:41 +0200] rev 1708
alpha_bn
Tue, 30 Mar 2010 11:32:12 +0200 Change @{text} to @{term}
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 11:32:12 +0200] rev 1707
Change @{text} to @{term}
Tue, 30 Mar 2010 10:36:05 +0200 alpha
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 10:36:05 +0200] rev 1706
alpha
Tue, 30 Mar 2010 09:15:40 +0200 more
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 09:15:40 +0200] rev 1705
more
Tue, 30 Mar 2010 09:00:52 +0200 fv and fv_bn
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 09:00:52 +0200] rev 1704
fv and fv_bn
Tue, 30 Mar 2010 02:55:18 +0200 more of the paper
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 02:55:18 +0200] rev 1703
more of the paper
Mon, 29 Mar 2010 22:26:19 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 29 Mar 2010 22:26:19 +0200] rev 1702
merged
Mon, 29 Mar 2010 18:12:54 +0200 Updated strong induction to modified definitions.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 29 Mar 2010 18:12:54 +0200] rev 1701
Updated strong induction to modified definitions.
Mon, 29 Mar 2010 17:32:17 +0200 Initial renaming
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 29 Mar 2010 17:32:17 +0200] rev 1700
Initial renaming
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 tip
nominal2