equal
deleted
inserted
replaced
40 "classrel" |
40 "classrel" |
41 "code_class" |
41 "code_class" |
42 "code_const" |
42 "code_const" |
43 "code_datatype" |
43 "code_datatype" |
44 "code_deps" |
44 "code_deps" |
|
45 "code_exception" |
45 "code_instance" |
46 "code_instance" |
46 "code_library" |
47 "code_library" |
47 "code_module" |
48 "code_module" |
48 "code_modulename" |
49 "code_modulename" |
49 "code_moduleprolog" |
50 "code_moduleprolog" |
261 "infixl" |
262 "infixl" |
262 "infixr" |
263 "infixr" |
263 "inject" |
264 "inject" |
264 "invariant" |
265 "invariant" |
265 "is" |
266 "is" |
|
267 "local_syntax" |
266 "module_name" |
268 "module_name" |
267 "monos" |
269 "monos" |
268 "morphisms" |
270 "morphisms" |
269 "notes" |
271 "notes" |
270 "obtains" |
272 "obtains" |
390 "classes" |
392 "classes" |
391 "classrel" |
393 "classrel" |
392 "code_class" |
394 "code_class" |
393 "code_const" |
395 "code_const" |
394 "code_datatype" |
396 "code_datatype" |
|
397 "code_exception" |
395 "code_instance" |
398 "code_instance" |
396 "code_library" |
399 "code_library" |
397 "code_module" |
400 "code_module" |
398 "code_modulename" |
401 "code_modulename" |
399 "code_moduleprolog" |
402 "code_moduleprolog" |