/[mojave]/metaprl/theories/itt/itt_bool.prla
ViewVC logotype

Diff of /metaprl/theories/itt/itt_bool.prla

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3590 by nogin, Fri Jul 20 23:06:48 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 15082  Line 15082 
15082  P       p652    Number 16206  P       p652    Number 16206
15083  P       p653    Number 16356  P       p653    Number 16356
15084  O       o653    location p652 p653  O       o653    location p652 p653
15085  P       p4717   String assert_decidable  P       p4717   String assert_is_decidable
15086  O       o4717   rule p4717  O       o4717   rule p4717
15087  NItt_decidable  Itt_decidable   Itt_decidable NIL  NItt_decidable  Itt_decidable   Itt_decidable NIL
15088  NItt_decidable!decidable        decidable       decidable Itt_decidable  NItt_decidable!decidable        decidable       decidable Itt_decidable

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26