package info (click to toggle)
proofgeneral 3.7-4
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 9,328 kB
  • ctags: 4,317
  • sloc: lisp: 49,786; makefile: 466; sh: 339; perl: 205; ansic: 43

Folder: isar

d .. (parent)
- - rw-r--r-- 778 BUGS
- - rw-r--r-- 805 Example-Xsym.thy
- - rw-r--r-- 700 Example.thy
- - rw-r--r-- 3,335 KnasterTarski.thy
- - rw-r--r-- 1,301 README
- - rw-r--r-- 5,558 Root2_Isar.thy
- - rw-r--r-- 2,537 Root2_Tactic.thy
- - rw-r--r-- 28,945 Tarski.thy
- - rwxr-xr-x 5,002 interface
- - rw-r--r-- 1,124 interface-setup.el
- - rw-r--r-- 16,446 isabelle-system.el
- - rw-r--r-- 1,239 isar-autotest.el
- - rw-r--r-- 17,022 isar-find-theorems.el
- - rw-r--r-- 8,384 isar-keywords.el
- - rw-r--r-- 2,079 isar-mmm.el
- - rw-r--r-- 18,015 isar-syntax.el
- - rw-r--r-- 11,020 isar-unicode-tokens.el
- - rw-r--r-- 23,245 isar.el
- - rw-r--r-- 2,078 isartags
- - rw-r--r-- 16,702 x-symbol-isar.el