package info
(click to toggle)
proofgeneral 3.5-4.1
- links: PTS
- area: main
- in suites: etch, etch-m68k
- size: 8,120 kB
- ctags: 3,972
- sloc: lisp: 34,872; makefile: 452; sh: 323; perl: 205; ansic: 43
Folder: isa
 |
.. (parent) | |||
 |
- | rw-r--r-- | 2,867 | BUGS |
|
- | rw-r--r-- | 568 | Example-Xsym.ML |
|
- | rw-r--r-- | 410 | Example.ML |
|
- | rw-r--r-- | 473 | Example.thy |
|
- | rw-r--r-- | 343 | Example2.ML |
|
- | rw-r--r-- | 1,061 | README |
|
- | rwxr-xr-x | 4,923 | interface |
|
- | rw-r--r-- | 1,064 | interface-setup.el |
|
- | rw-r--r-- | 948 | interface-setup.elc |
|
- | rw-r--r-- | 11,859 | isa-syntax.el |
|
- | rw-r--r-- | 8,562 | isa-syntax.elc |
|
- | rw-r--r-- | 26,492 | isa.el |
|
- | rw-r--r-- | 18,472 | isa.elc |
|
- | rw-r--r-- | 20,969 | isabelle-system.el |
|
- | rw-r--r-- | 14,870 | isabelle-system.elc |
|
- | rw-r--r-- | 33,594 | thy-mode.el |
|
- | rw-r--r-- | 17,490 | thy-mode.elc |
|
- | rw-r--r-- | 640 | x-symbol-isa.el |
|
- | rw-r--r-- | 902 | x-symbol-isa.elc |
|
- | rw-r--r-- | 16,732 | x-symbol-isabelle.el |
|
- | rw-r--r-- | 12,794 | x-symbol-isabelle.elc |