Searched +path:app +path:serializers (Results 1 - 21 of 21) sorted by relevance

/ontohub/app/serializers/
H A Daction_serializer.rb
H A Dformality_level_serializer.rb
H A Dgenerated_axiom_serializer.rb
H A Dlicense_model_serializer.rb
H A Dlogic_mapping_serializer.rb
H A Dlogic_serializer.rb
H A Dontology_type_serializer.rb
H A Drepository_serializer.rb
H A Dtactic_script_serializer.rb
H A Dproof_status_serializer.rb
H A Dapplication_serializer.rb
H A Daxiom_serializer.rb
H A Dmapping_serializer.rb
H A Dontology_serializer.rb
H A Dontology_version_serializer.rb
H A Dproof_attempt_configuration_serializer.rb
H A Dproof_attempt_serializer.rb
H A Dprover_output_serializer.rb
H A Dsentence_serializer.rb
H A Dtheorem_serializer.rb
/ontohub/app/serializers/ontology_member/
H A Dsymbol_serializer.rb

Completed in 34 milliseconds