[Prev][Next][Index]
HELP on proving SetBasics.lsl
-
Subject: HELP on proving SetBasics.lsl
-
From: bassi@cs.unibo.it (Alberto Bassi)
-
Date: 24 Nov 1995 11:19:42 GMT
-
Newsgroups: comp.specification.larch
-
Organization: Department of Computer Science, University of Bologna, Italy
I'm a beginner in LP (Larch Prover) and I'm not able to prove the implies
part of the SetBasics.lsl library trait.
Can someone help me?
Where can I find the demonstrations of the standard library trait?
Thank you.
--
/===============================================\
| |
| Alberto Bassi |
| Student at |
| Computer Science Dept. of Bologna (Italy) |
| |
|-----------------------------------------------|
| E-mail: |
| bassi@cs.unibo.it |
| |
| WWW home page: |
| http://www.cs.unibo.it/~bassi/index.html |
\===============================================/
Follow-Up(s):