hub.darcs.net :: gh -> deftab -> files

intuitionistic
defaults:
  T --> P1; 
  T --> P2; 
  T --> P3; 
  T --> P4; 
  T --> P5; 
  T --> P6; 
  T --> P7; 
  T --> P8; 
  T --> P9; 
  T --> P10; 
consequence:
  (P1 & P2 & P3 & P4 & P5 & P6 & P7 & P8 & P9 & P10)