Changes between Version 11 and Version 12 of ExistentialQuantification


Ignore:
Timestamp:
Jan 26, 2006 8:36:12 PM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantification

    v11 v12  
     1[[PageOutline]] 
    12= Existential Quantification = 
    2 [[PageOutline]] 
    33 
    4 [search:?q="ExistentialQuantification"&ticket=on Ticket(s)] 
    5  
    6 See ExtensionDescriptionHowto for information on how to write these extension descriptions.  Please add any new extensions to the list of HaskellExtensions. 
     4'''[search:?q="ExistentialQuantification"&ticket=on Ticket(s)]''' 
    75 
    86== Brief Explanation ==