drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
Ex
|
files
|
drwxr-xr-x |
|
|
Manual
|
files
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
5708 |
Atoms.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
2045 |
Eqvt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
17091 |
GPerm.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
25803 |
Nominal2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
50128 |
Nominal2_Abs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
106824 |
Nominal2_Base.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
103591 |
Nominal2_Base_Exec.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
18457 |
Nominal2_FCB.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
629 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
3156 |
nominal_atoms.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
6391 |
nominal_basics.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
30651 |
nominal_dt_alpha.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
4577 |
nominal_dt_data.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
25439 |
nominal_dt_quot.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
17695 |
nominal_dt_rawfuns.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
4654 |
nominal_eqvt.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
10294 |
nominal_function.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
5122 |
nominal_function_common.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
38468 |
nominal_function_core.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
6709 |
nominal_induct.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
15290 |
nominal_inductive.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
16663 |
nominal_library.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
17224 |
nominal_mutual.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
7511 |
nominal_permeq.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
4379 |
nominal_termination.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2014-03-13 09:30 +0000 |
10676 |
nominal_thmdecls.ML
|
file |
revisions |
annotate
|