drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
Ex
|
files
|
drwxr-xr-x |
|
|
Manual
|
files
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
5304 |
Atoms.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
27659 |
Nominal2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
20797 |
Nominal2_Abs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
62112 |
Nominal2_Base.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
10051 |
Nominal2_Eqvt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
427 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
2902 |
nominal_atoms.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
28762 |
nominal_dt_alpha.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
3740 |
nominal_dt_quot.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
13758 |
nominal_dt_rawfuns.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
4051 |
nominal_dt_rawperm.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
6134 |
nominal_dt_supp.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
4565 |
nominal_eqvt.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
11666 |
nominal_library.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
5421 |
nominal_permeq.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-11-15 01:10 +0000 |
7757 |
nominal_thmdecls.ML
|
file |
revisions |
annotate
|