Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merge
authorCezary Kaliszyk <kaliszyk@in.tum.de>
Tue, 02 Mar 2010 08:49:04 +0100
changeset 1298 9866dffd387d
parent 1297 0ab16694c3c1 (diff)
parent 1296 790940e90db2 (current diff)
child 1299 cbcd4997dac5
merge
Nominal/Test.thy file | annotate | diff | comparison | revisions 
--- a/Nominal/Test.thy	Tue Mar 02 08:43:53 2010 +0100
+++ b/Nominal/Test.thy	Tue Mar 02 08:49:04 2010 +0100
@@ -23,6 +23,7 @@
 thm bi_raw.simps
 thm permute_lam_raw_permute_bp_raw.simps
 thm alpha_lam_raw_alpha_bp_raw.intros
+thm fv_lam_raw_fv_bp_raw.simps
 
 print_theorems
nominal2