drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
Ex
|
files
|
drwxr-xr-x |
|
|
Manual
|
files
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
5311 |
Atoms.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
23966 |
Nominal2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
43221 |
Nominal2_Abs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
83136 |
Nominal2_Base.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
10857 |
Nominal2_Eqvt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
491 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
2902 |
nominal_atoms.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
29006 |
nominal_dt_alpha.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
23860 |
nominal_dt_quot.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
18047 |
nominal_dt_rawfuns.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
4982 |
nominal_eqvt.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
7481 |
nominal_function.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
36809 |
nominal_function_core.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
6628 |
nominal_induct.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
14925 |
nominal_inductive.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
20721 |
nominal_library.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
9470 |
nominal_mutual.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
6000 |
nominal_permeq.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-01-23 07:17 +0900 |
7858 |
nominal_thmdecls.ML
|
file |
revisions |
annotate
|