Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
encyclopedia [2010/04/09 14:46]
vkuncak 		encyclopedia [2010/04/09 14:47] (current)
vkuncak
Line 4: Line 4:
  
 [[encyc:​Local Theories]] (Edited by Swen Jacobs) [[encyc:​Local Theories]] (Edited by Swen Jacobs)
 +
 +[[encyc:​Collections]] (Edited by Ruzica Piskac)
 +
 +[[encyc:​Transition Systems]] (Edited by Thomas Wies and Tomas Vojnar)
  
 As an example, please see [[http://​lara.epfl.ch/​dokuwiki/​encyc:​intro|this stub]]. As an example, please see [[http://​lara.epfl.ch/​dokuwiki/​encyc:​intro|this stub]].