File: b.v

package info (click to toggle)
proofgeneral 4.5-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 5,172 kB
  • sloc: lisp: 33,783; makefile: 388; sh: 118; perl: 109
file content (8 lines) | stat: -rw-r--r-- 231 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
 
(* This file depends on a.v. *)

(* The following works in Proof General 4.0, if a.v has been compiled and
 * if the path is the correct absolute path.
 *)
Require "/home/tews/src/pg/coq/ex/test-cases/require-string/a".

Print a.a.