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-14
Cezary Kaliszyk
merge
changeset
|
files
2010-04-14
Cezary Kaliszyk
Fix the 'subscript' error.
changeset
|
files
2010-04-14
Christian Urban
merged
changeset
|
files
2010-04-14
Christian Urban
thmdecls can deal with lemmas like alpha_gen which contain pairs or tuples
changeset
|
files
2010-04-14
Cezary Kaliszyk
merge
changeset
|
files
2010-04-14
Cezary Kaliszyk
merge
changeset
|
files
2010-04-14
Cezary Kaliszyk
Separate alpha_definition.
changeset
|
files
2010-04-14
Cezary Kaliszyk
Fix spelling in theory header
changeset
|
files
2010-04-14
Cezary Kaliszyk
Separate define_fv.
changeset
|
files
2010-04-14
Christian Urban
tuned and removed dead code
changeset
|
files
2010-04-14
Christian Urban
moved a couple of more functions to the library
changeset
|
files
2010-04-14
Christian Urban
added a library for basic nominal functions; separated nominal_eqvt file
changeset
|
files
2010-04-14
Christian Urban
merged
changeset
|
files
2010-04-14
Christian Urban
first working version of the automatic equivariance procedure
changeset
|
files
2010-04-14
Cezary Kaliszyk
Initial cleaning/reorganization in Fv.
changeset
|
files
2010-04-14
Christian Urban
merged
changeset
|
files
2010-04-14
Christian Urban
preliminary tests
changeset
|
files
2010-04-14
Christian Urban
deleted test
changeset
|
files
2010-04-14
Cezary Kaliszyk
merge
changeset
|
files
2010-04-14
Cezary Kaliszyk
merge part: delete_rsp
changeset
|
files
2010-04-14
Cezary Kaliszyk
merge part1: none_memb_nil
changeset
|
files
2010-04-14
Christian Urban
added header and more tuning
changeset
|
files
2010-04-14
Christian Urban
more tuning
changeset
|
files
2010-04-14
Christian Urban
tuned
changeset
|
files
2010-04-13
Cezary Kaliszyk
Working FSet with additional lemmas.
changeset
|
files
2010-04-13
Cezary Kaliszyk
Much more in FSet (currently non-working)
changeset
|
files
2010-04-13
Christian Urban
made everything to compile
changeset
|
files
2010-04-12
Christian Urban
merged
changeset
|
files
2010-04-12
Christian Urban
some small tunings (incompleted work in Lambda.thy)
changeset
|
files
2010-04-12
Christian Urban
moved equivariance of map into Nominal2_Eqvt file
changeset
|
files
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip